package com.faceunity.beautycontrolview;

import java.security.MessageDigest;

/**
 * 描述 :
 * 创建人: 肖利.
 * 时间:2018/11/15
 * qq(872179966)
 */

public class authpack {

    public static int sha1_32(byte[] buf){int ret=0;try{byte[] digest= MessageDigest.getInstance("SHA1").digest(buf);return ((int)(digest[0]&0xff)<<24)+((int)(digest[1]&0xff)<<16)+((int)(digest[2]&0xff)<<8)+((int)(digest[3]&0xff)<<0);}catch(Exception e){}return ret;}
    public static byte[] A(){
        byte[] buf=new byte[1152];
        int i=0;
        for(i=-121;i<-114;i++){ buf[0]=(byte)i; if(sha1_32(buf)==1024078568){break;} }
        for(i=-67;i<-64;i++){ buf[1]=(byte)i; if(sha1_32(buf)==315417348){break;} }
        for(i=41;i<57;i++){ buf[2]=(byte)i; if(sha1_32(buf)==221952382){break;} }
        for(i=98;i<117;i++){ buf[3]=(byte)i; if(sha1_32(buf)==1176407510){break;} }
        for(i=-94;i<-77;i++){ buf[4]=(byte)i; if(sha1_32(buf)==-821863685){break;} }
        for(i=20;i<22;i++){ buf[5]=(byte)i; if(sha1_32(buf)==-1724160935){break;} }
        for(i=78;i<98;i++){ buf[6]=(byte)i; if(sha1_32(buf)==1178756527){break;} }
        for(i=87;i<114;i++){ buf[7]=(byte)i; if(sha1_32(buf)==-2010273585){break;} }
        for(i=47;i<53;i++){ buf[8]=(byte)i; if(sha1_32(buf)==-674395115){break;} }
        for(i=-41;i<-15;i++){ buf[9]=(byte)i; if(sha1_32(buf)==-1475780201){break;} }
        for(i=125;i<128;i++){ buf[10]=(byte)i; if(sha1_32(buf)==804524609){break;} }
        for(i=-6;i<10;i++){ buf[11]=(byte)i; if(sha1_32(buf)==100233974){break;} }
        for(i=-66;i<-56;i++){ buf[12]=(byte)i; if(sha1_32(buf)==2115724328){break;} }
        for(i=88;i<98;i++){ buf[13]=(byte)i; if(sha1_32(buf)==1114498347){break;} }
        for(i=-32;i<-17;i++){ buf[14]=(byte)i; if(sha1_32(buf)==-93893095){break;} }
        for(i=36;i<64;i++){ buf[15]=(byte)i; if(sha1_32(buf)==-432063403){break;} }
        for(i=-86;i<-72;i++){ buf[16]=(byte)i; if(sha1_32(buf)==-860608640){break;} }
        for(i=33;i<54;i++){ buf[17]=(byte)i; if(sha1_32(buf)==375034176){break;} }
        for(i=-34;i<-21;i++){ buf[18]=(byte)i; if(sha1_32(buf)==-653366795){break;} }
        for(i=74;i<94;i++){ buf[19]=(byte)i; if(sha1_32(buf)==-62973901){break;} }
        for(i=66;i<70;i++){ buf[20]=(byte)i; if(sha1_32(buf)==-885484660){break;} }
        for(i=31;i<49;i++){ buf[21]=(byte)i; if(sha1_32(buf)==-943705612){break;} }
        for(i=-113;i<-94;i++){ buf[22]=(byte)i; if(sha1_32(buf)==2092805180){break;} }
        for(i=6;i<24;i++){ buf[23]=(byte)i; if(sha1_32(buf)==838261452){break;} }
        for(i=-29;i<-15;i++){ buf[24]=(byte)i; if(sha1_32(buf)==-1906943725){break;} }
        for(i=-128;i<-119;i++){ buf[25]=(byte)i; if(sha1_32(buf)==1070950754){break;} }
        for(i=100;i<117;i++){ buf[26]=(byte)i; if(sha1_32(buf)==1823675923){break;} }
        for(i=-119;i<-111;i++){ buf[27]=(byte)i; if(sha1_32(buf)==-1731224034){break;} }
        for(i=-39;i<-15;i++){ buf[28]=(byte)i; if(sha1_32(buf)==1411112809){break;} }
        for(i=70;i<82;i++){ buf[29]=(byte)i; if(sha1_32(buf)==1284188404){break;} }
        for(i=-26;i<-9;i++){ buf[30]=(byte)i; if(sha1_32(buf)==-479111710){break;} }
        for(i=104;i<128;i++){ buf[31]=(byte)i; if(sha1_32(buf)==-14610909){break;} }
        for(i=53;i<64;i++){ buf[32]=(byte)i; if(sha1_32(buf)==426167518){break;} }
        for(i=-8;i<9;i++){ buf[33]=(byte)i; if(sha1_32(buf)==-255673287){break;} }
        for(i=27;i<38;i++){ buf[34]=(byte)i; if(sha1_32(buf)==1030912945){break;} }
        for(i=85;i<96;i++){ buf[35]=(byte)i; if(sha1_32(buf)==1750466694){break;} }
        for(i=-30;i<-17;i++){ buf[36]=(byte)i; if(sha1_32(buf)==-427488063){break;} }
        for(i=-33;i<-13;i++){ buf[37]=(byte)i; if(sha1_32(buf)==-1021795697){break;} }
        for(i=15;i<30;i++){ buf[38]=(byte)i; if(sha1_32(buf)==-838599092){break;} }
        for(i=-128;i<-112;i++){ buf[39]=(byte)i; if(sha1_32(buf)==-1210157450){break;} }
        for(i=-30;i<-24;i++){ buf[40]=(byte)i; if(sha1_32(buf)==-624858457){break;} }
        for(i=94;i<108;i++){ buf[41]=(byte)i; if(sha1_32(buf)==1279736158){break;} }
        for(i=85;i<100;i++){ buf[42]=(byte)i; if(sha1_32(buf)==984220058){break;} }
        for(i=-77;i<-68;i++){ buf[43]=(byte)i; if(sha1_32(buf)==-1975597303){break;} }
        for(i=3;i<23;i++){ buf[44]=(byte)i; if(sha1_32(buf)==-1149077498){break;} }
        for(i=16;i<32;i++){ buf[45]=(byte)i; if(sha1_32(buf)==312634804){break;} }
        for(i=-113;i<-103;i++){ buf[46]=(byte)i; if(sha1_32(buf)==491030846){break;} }
        for(i=-50;i<-36;i++){ buf[47]=(byte)i; if(sha1_32(buf)==1235645965){break;} }
        for(i=49;i<60;i++){ buf[48]=(byte)i; if(sha1_32(buf)==1390302358){break;} }
        for(i=-25;i<-8;i++){ buf[49]=(byte)i; if(sha1_32(buf)==1622100740){break;} }
        for(i=95;i<108;i++){ buf[50]=(byte)i; if(sha1_32(buf)==-966617906){break;} }
        for(i=118;i<127;i++){ buf[51]=(byte)i; if(sha1_32(buf)==-1031189771){break;} }
        for(i=-34;i<-13;i++){ buf[52]=(byte)i; if(sha1_32(buf)==-1821052975){break;} }
        for(i=-45;i<-30;i++){ buf[53]=(byte)i; if(sha1_32(buf)==-795508348){break;} }
        for(i=-22;i<-19;i++){ buf[54]=(byte)i; if(sha1_32(buf)==-1079469345){break;} }
        for(i=9;i<24;i++){ buf[55]=(byte)i; if(sha1_32(buf)==1046666828){break;} }
        for(i=18;i<31;i++){ buf[56]=(byte)i; if(sha1_32(buf)==-580256678){break;} }
        for(i=-78;i<-70;i++){ buf[57]=(byte)i; if(sha1_32(buf)==-322411124){break;} }
        for(i=-81;i<-59;i++){ buf[58]=(byte)i; if(sha1_32(buf)==925726513){break;} }
        for(i=85;i<99;i++){ buf[59]=(byte)i; if(sha1_32(buf)==1623348400){break;} }
        for(i=-20;i<6;i++){ buf[60]=(byte)i; if(sha1_32(buf)==850054743){break;} }
        for(i=77;i<91;i++){ buf[61]=(byte)i; if(sha1_32(buf)==1462148852){break;} }
        for(i=119;i<120;i++){ buf[62]=(byte)i; if(sha1_32(buf)==307762202){break;} }
        for(i=50;i<73;i++){ buf[63]=(byte)i; if(sha1_32(buf)==1555406623){break;} }
        for(i=-18;i<-7;i++){ buf[64]=(byte)i; if(sha1_32(buf)==-1761901382){break;} }
        for(i=95;i<107;i++){ buf[65]=(byte)i; if(sha1_32(buf)==-796769122){break;} }
        for(i=19;i<41;i++){ buf[66]=(byte)i; if(sha1_32(buf)==-151986068){break;} }
        for(i=-3;i<11;i++){ buf[67]=(byte)i; if(sha1_32(buf)==-1471058419){break;} }
        for(i=-28;i<-19;i++){ buf[68]=(byte)i; if(sha1_32(buf)==1016463689){break;} }
        for(i=-88;i<-78;i++){ buf[69]=(byte)i; if(sha1_32(buf)==-283745269){break;} }
        for(i=-25;i<-8;i++){ buf[70]=(byte)i; if(sha1_32(buf)==745467148){break;} }
        for(i=6;i<23;i++){ buf[71]=(byte)i; if(sha1_32(buf)==-1022727043){break;} }
        for(i=39;i<54;i++){ buf[72]=(byte)i; if(sha1_32(buf)==1461005191){break;} }
        for(i=92;i<112;i++){ buf[73]=(byte)i; if(sha1_32(buf)==1515425311){break;} }
        for(i=74;i<101;i++){ buf[74]=(byte)i; if(sha1_32(buf)==1259583517){break;} }
        for(i=-103;i<-92;i++){ buf[75]=(byte)i; if(sha1_32(buf)==1362867603){break;} }
        for(i=-70;i<-50;i++){ buf[76]=(byte)i; if(sha1_32(buf)==-1371129502){break;} }
        for(i=-117;i<-101;i++){ buf[77]=(byte)i; if(sha1_32(buf)==-256179580){break;} }
        for(i=-97;i<-78;i++){ buf[78]=(byte)i; if(sha1_32(buf)==332290777){break;} }
        for(i=77;i<91;i++){ buf[79]=(byte)i; if(sha1_32(buf)==135459005){break;} }
        for(i=96;i<110;i++){ buf[80]=(byte)i; if(sha1_32(buf)==-662164866){break;} }
        for(i=96;i<104;i++){ buf[81]=(byte)i; if(sha1_32(buf)==-1200072982){break;} }
        for(i=103;i<114;i++){ buf[82]=(byte)i; if(sha1_32(buf)==-1980416527){break;} }
        for(i=102;i<120;i++){ buf[83]=(byte)i; if(sha1_32(buf)==-1919214532){break;} }
        for(i=-63;i<-39;i++){ buf[84]=(byte)i; if(sha1_32(buf)==2004238686){break;} }
        for(i=-128;i<-102;i++){ buf[85]=(byte)i; if(sha1_32(buf)==2059926361){break;} }
        for(i=74;i<88;i++){ buf[86]=(byte)i; if(sha1_32(buf)==-500685511){break;} }
        for(i=56;i<58;i++){ buf[87]=(byte)i; if(sha1_32(buf)==-2076404366){break;} }
        for(i=-58;i<-33;i++){ buf[88]=(byte)i; if(sha1_32(buf)==1768664083){break;} }
        for(i=14;i<34;i++){ buf[89]=(byte)i; if(sha1_32(buf)==-523130418){break;} }
        for(i=-117;i<-99;i++){ buf[90]=(byte)i; if(sha1_32(buf)==-803290961){break;} }
        for(i=-10;i<-4;i++){ buf[91]=(byte)i; if(sha1_32(buf)==778328239){break;} }
        for(i=110;i<124;i++){ buf[92]=(byte)i; if(sha1_32(buf)==2060003220){break;} }
        for(i=99;i<113;i++){ buf[93]=(byte)i; if(sha1_32(buf)==-1704679161){break;} }
        for(i=82;i<99;i++){ buf[94]=(byte)i; if(sha1_32(buf)==1687794052){break;} }
        for(i=54;i<73;i++){ buf[95]=(byte)i; if(sha1_32(buf)==-136647680){break;} }
        for(i=50;i<69;i++){ buf[96]=(byte)i; if(sha1_32(buf)==1569511435){break;} }
        for(i=-14;i<-2;i++){ buf[97]=(byte)i; if(sha1_32(buf)==660648351){break;} }
        for(i=0;i<30;i++){ buf[98]=(byte)i; if(sha1_32(buf)==656782189){break;} }
        for(i=-60;i<-44;i++){ buf[99]=(byte)i; if(sha1_32(buf)==-1256213265){break;} }
        for(i=12;i<33;i++){ buf[100]=(byte)i; if(sha1_32(buf)==-1730876973){break;} }
        for(i=16;i<29;i++){ buf[101]=(byte)i; if(sha1_32(buf)==2006404598){break;} }
        for(i=-59;i<-50;i++){ buf[102]=(byte)i; if(sha1_32(buf)==-656833233){break;} }
        for(i=-100;i<-90;i++){ buf[103]=(byte)i; if(sha1_32(buf)==1892311266){break;} }
        for(i=-81;i<-67;i++){ buf[104]=(byte)i; if(sha1_32(buf)==663406933){break;} }
        for(i=-15;i<-6;i++){ buf[105]=(byte)i; if(sha1_32(buf)==-534616308){break;} }
        for(i=60;i<77;i++){ buf[106]=(byte)i; if(sha1_32(buf)==1080711476){break;} }
        for(i=-104;i<-81;i++){ buf[107]=(byte)i; if(sha1_32(buf)==-346098496){break;} }
        for(i=47;i<69;i++){ buf[108]=(byte)i; if(sha1_32(buf)==28289266){break;} }
        for(i=34;i<47;i++){ buf[109]=(byte)i; if(sha1_32(buf)==1876618694){break;} }
        for(i=-16;i<-14;i++){ buf[110]=(byte)i; if(sha1_32(buf)==-1638234652){break;} }
        for(i=75;i<88;i++){ buf[111]=(byte)i; if(sha1_32(buf)==450205012){break;} }
        for(i=83;i<102;i++){ buf[112]=(byte)i; if(sha1_32(buf)==1710836031){break;} }
        for(i=-128;i<-121;i++){ buf[113]=(byte)i; if(sha1_32(buf)==815195274){break;} }
        for(i=-85;i<-74;i++){ buf[114]=(byte)i; if(sha1_32(buf)==-292011955){break;} }
        for(i=105;i<122;i++){ buf[115]=(byte)i; if(sha1_32(buf)==76166168){break;} }
        for(i=59;i<73;i++){ buf[116]=(byte)i; if(sha1_32(buf)==-1546823634){break;} }
        for(i=87;i<95;i++){ buf[117]=(byte)i; if(sha1_32(buf)==763145135){break;} }
        for(i=-83;i<-55;i++){ buf[118]=(byte)i; if(sha1_32(buf)==-1031128827){break;} }
        for(i=45;i<58;i++){ buf[119]=(byte)i; if(sha1_32(buf)==-2065516481){break;} }
        for(i=-75;i<-69;i++){ buf[120]=(byte)i; if(sha1_32(buf)==635781619){break;} }
        for(i=88;i<89;i++){ buf[121]=(byte)i; if(sha1_32(buf)==1969083272){break;} }
        for(i=-98;i<-84;i++){ buf[122]=(byte)i; if(sha1_32(buf)==-1648541177){break;} }
        for(i=-54;i<-38;i++){ buf[123]=(byte)i; if(sha1_32(buf)==-1309270449){break;} }
        for(i=-106;i<-91;i++){ buf[124]=(byte)i; if(sha1_32(buf)==485791807){break;} }
        for(i=27;i<40;i++){ buf[125]=(byte)i; if(sha1_32(buf)==-503534058){break;} }
        for(i=50;i<59;i++){ buf[126]=(byte)i; if(sha1_32(buf)==2132379008){break;} }
        for(i=-126;i<-120;i++){ buf[127]=(byte)i; if(sha1_32(buf)==-1852389893){break;} }
        for(i=-44;i<-38;i++){ buf[128]=(byte)i; if(sha1_32(buf)==-1435864907){break;} }
        for(i=68;i<84;i++){ buf[129]=(byte)i; if(sha1_32(buf)==63927912){break;} }
        for(i=43;i<50;i++){ buf[130]=(byte)i; if(sha1_32(buf)==-1981446808){break;} }
        for(i=68;i<98;i++){ buf[131]=(byte)i; if(sha1_32(buf)==-227669277){break;} }
        for(i=-22;i<-18;i++){ buf[132]=(byte)i; if(sha1_32(buf)==606960218){break;} }
        for(i=118;i<128;i++){ buf[133]=(byte)i; if(sha1_32(buf)==-1723483136){break;} }
        for(i=8;i<16;i++){ buf[134]=(byte)i; if(sha1_32(buf)==-744571790){break;} }
        for(i=-51;i<-40;i++){ buf[135]=(byte)i; if(sha1_32(buf)==632839009){break;} }
        for(i=-50;i<-30;i++){ buf[136]=(byte)i; if(sha1_32(buf)==-1768253917){break;} }
        for(i=-2;i<10;i++){ buf[137]=(byte)i; if(sha1_32(buf)==490025907){break;} }
        for(i=115;i<121;i++){ buf[138]=(byte)i; if(sha1_32(buf)==-1103293361){break;} }
        for(i=-29;i<-16;i++){ buf[139]=(byte)i; if(sha1_32(buf)==660677894){break;} }
        for(i=-128;i<-112;i++){ buf[140]=(byte)i; if(sha1_32(buf)==-1301893036){break;} }
        for(i=-97;i<-93;i++){ buf[141]=(byte)i; if(sha1_32(buf)==-1092229322){break;} }
        for(i=9;i<18;i++){ buf[142]=(byte)i; if(sha1_32(buf)==974119861){break;} }
        for(i=-122;i<-99;i++){ buf[143]=(byte)i; if(sha1_32(buf)==742702916){break;} }
        for(i=13;i<39;i++){ buf[144]=(byte)i; if(sha1_32(buf)==23455692){break;} }
        for(i=-60;i<-45;i++){ buf[145]=(byte)i; if(sha1_32(buf)==-1729824720){break;} }
        for(i=28;i<45;i++){ buf[146]=(byte)i; if(sha1_32(buf)==2013654778){break;} }
        for(i=68;i<93;i++){ buf[147]=(byte)i; if(sha1_32(buf)==1651089924){break;} }
        for(i=69;i<85;i++){ buf[148]=(byte)i; if(sha1_32(buf)==-592659975){break;} }
        for(i=-102;i<-85;i++){ buf[149]=(byte)i; if(sha1_32(buf)==-1987651962){break;} }
        for(i=-4;i<12;i++){ buf[150]=(byte)i; if(sha1_32(buf)==1750136708){break;} }
        for(i=-86;i<-72;i++){ buf[151]=(byte)i; if(sha1_32(buf)==1814775456){break;} }
        for(i=-33;i<-16;i++){ buf[152]=(byte)i; if(sha1_32(buf)==1316030323){break;} }
        for(i=111;i<127;i++){ buf[153]=(byte)i; if(sha1_32(buf)==-453813801){break;} }
        for(i=-79;i<-48;i++){ buf[154]=(byte)i; if(sha1_32(buf)==-1446671985){break;} }
        for(i=-109;i<-96;i++){ buf[155]=(byte)i; if(sha1_32(buf)==-1020791794){break;} }
        for(i=2;i<15;i++){ buf[156]=(byte)i; if(sha1_32(buf)==2085101869){break;} }
        for(i=69;i<89;i++){ buf[157]=(byte)i; if(sha1_32(buf)==-1016663367){break;} }
        for(i=50;i<62;i++){ buf[158]=(byte)i; if(sha1_32(buf)==-269524288){break;} }
        for(i=-88;i<-72;i++){ buf[159]=(byte)i; if(sha1_32(buf)==675078836){break;} }
        for(i=-117;i<-102;i++){ buf[160]=(byte)i; if(sha1_32(buf)==1326280145){break;} }
        for(i=-26;i<-8;i++){ buf[161]=(byte)i; if(sha1_32(buf)==-155776578){break;} }
        for(i=-74;i<-49;i++){ buf[162]=(byte)i; if(sha1_32(buf)==1823422050){break;} }
        for(i=-21;i<-4;i++){ buf[163]=(byte)i; if(sha1_32(buf)==-1319307333){break;} }
        for(i=-47;i<-19;i++){ buf[164]=(byte)i; if(sha1_32(buf)==469901354){break;} }
        for(i=100;i<119;i++){ buf[165]=(byte)i; if(sha1_32(buf)==301219829){break;} }
        for(i=14;i<31;i++){ buf[166]=(byte)i; if(sha1_32(buf)==-2099699875){break;} }
        for(i=52;i<70;i++){ buf[167]=(byte)i; if(sha1_32(buf)==214709522){break;} }
        for(i=-49;i<-43;i++){ buf[168]=(byte)i; if(sha1_32(buf)==580699931){break;} }
        for(i=43;i<62;i++){ buf[169]=(byte)i; if(sha1_32(buf)==1192054198){break;} }
        for(i=90;i<112;i++){ buf[170]=(byte)i; if(sha1_32(buf)==88440485){break;} }
        for(i=109;i<124;i++){ buf[171]=(byte)i; if(sha1_32(buf)==-1610945216){break;} }
        for(i=-24;i<0;i++){ buf[172]=(byte)i; if(sha1_32(buf)==823613535){break;} }
        for(i=107;i<126;i++){ buf[173]=(byte)i; if(sha1_32(buf)==-285590761){break;} }
        for(i=-9;i<-2;i++){ buf[174]=(byte)i; if(sha1_32(buf)==1342690268){break;} }
        for(i=44;i<61;i++){ buf[175]=(byte)i; if(sha1_32(buf)==4385234){break;} }
        for(i=30;i<48;i++){ buf[176]=(byte)i; if(sha1_32(buf)==663657114){break;} }
        for(i=-66;i<-56;i++){ buf[177]=(byte)i; if(sha1_32(buf)==-1403364567){break;} }
        for(i=-55;i<-26;i++){ buf[178]=(byte)i; if(sha1_32(buf)==-1191659176){break;} }
        for(i=46;i<71;i++){ buf[179]=(byte)i; if(sha1_32(buf)==1749628513){break;} }
        for(i=-71;i<-63;i++){ buf[180]=(byte)i; if(sha1_32(buf)==-1959102417){break;} }
        for(i=-74;i<-56;i++){ buf[181]=(byte)i; if(sha1_32(buf)==774943252){break;} }
        for(i=1;i<26;i++){ buf[182]=(byte)i; if(sha1_32(buf)==701793837){break;} }
        for(i=-42;i<-20;i++){ buf[183]=(byte)i; if(sha1_32(buf)==-2036881457){break;} }
        for(i=-71;i<-55;i++){ buf[184]=(byte)i; if(sha1_32(buf)==1311387430){break;} }
        for(i=89;i<111;i++){ buf[185]=(byte)i; if(sha1_32(buf)==-904324857){break;} }
        for(i=-34;i<-18;i++){ buf[186]=(byte)i; if(sha1_32(buf)==-1421313976){break;} }
        for(i=-83;i<-62;i++){ buf[187]=(byte)i; if(sha1_32(buf)==43497734){break;} }
        for(i=24;i<47;i++){ buf[188]=(byte)i; if(sha1_32(buf)==160636914){break;} }
        for(i=44;i<66;i++){ buf[189]=(byte)i; if(sha1_32(buf)==572289166){break;} }
        for(i=-71;i<-59;i++){ buf[190]=(byte)i; if(sha1_32(buf)==1826249762){break;} }
        for(i=-93;i<-64;i++){ buf[191]=(byte)i; if(sha1_32(buf)==-1327075423){break;} }
        for(i=-19;i<-3;i++){ buf[192]=(byte)i; if(sha1_32(buf)==1228411094){break;} }
        for(i=-107;i<-102;i++){ buf[193]=(byte)i; if(sha1_32(buf)==-1141313363){break;} }
        for(i=-13;i<4;i++){ buf[194]=(byte)i; if(sha1_32(buf)==-1464526936){break;} }
        for(i=-102;i<-86;i++){ buf[195]=(byte)i; if(sha1_32(buf)==2065120644){break;} }
        for(i=9;i<25;i++){ buf[196]=(byte)i; if(sha1_32(buf)==1210933677){break;} }
        for(i=45;i<62;i++){ buf[197]=(byte)i; if(sha1_32(buf)==1260089045){break;} }
        for(i=-1;i<14;i++){ buf[198]=(byte)i; if(sha1_32(buf)==2144489211){break;} }
        for(i=-42;i<-17;i++){ buf[199]=(byte)i; if(sha1_32(buf)==-1370096566){break;} }
        for(i=86;i<104;i++){ buf[200]=(byte)i; if(sha1_32(buf)==-216985270){break;} }
        for(i=-118;i<-97;i++){ buf[201]=(byte)i; if(sha1_32(buf)==-1777931526){break;} }
        for(i=-67;i<-59;i++){ buf[202]=(byte)i; if(sha1_32(buf)==1838383599){break;} }
        for(i=-65;i<-53;i++){ buf[203]=(byte)i; if(sha1_32(buf)==-2114459140){break;} }
        for(i=32;i<54;i++){ buf[204]=(byte)i; if(sha1_32(buf)==794922688){break;} }
        for(i=-37;i<-10;i++){ buf[205]=(byte)i; if(sha1_32(buf)==1372215854){break;} }
        for(i=-124;i<-112;i++){ buf[206]=(byte)i; if(sha1_32(buf)==-291077029){break;} }
        for(i=73;i<78;i++){ buf[207]=(byte)i; if(sha1_32(buf)==876523076){break;} }
        for(i=77;i<92;i++){ buf[208]=(byte)i; if(sha1_32(buf)==-41752677){break;} }
        for(i=-75;i<-52;i++){ buf[209]=(byte)i; if(sha1_32(buf)==78491081){break;} }
        for(i=43;i<52;i++){ buf[210]=(byte)i; if(sha1_32(buf)==357085280){break;} }
        for(i=97;i<115;i++){ buf[211]=(byte)i; if(sha1_32(buf)==-679258856){break;} }
        for(i=112;i<128;i++){ buf[212]=(byte)i; if(sha1_32(buf)==-230018136){break;} }
        for(i=-23;i<-1;i++){ buf[213]=(byte)i; if(sha1_32(buf)==725651841){break;} }
        for(i=7;i<20;i++){ buf[214]=(byte)i; if(sha1_32(buf)==1068505073){break;} }
        for(i=-35;i<-21;i++){ buf[215]=(byte)i; if(sha1_32(buf)==1954169536){break;} }
        for(i=123;i<128;i++){ buf[216]=(byte)i; if(sha1_32(buf)==1327157996){break;} }
        for(i=-113;i<-104;i++){ buf[217]=(byte)i; if(sha1_32(buf)==-461220906){break;} }
        for(i=-127;i<-116;i++){ buf[218]=(byte)i; if(sha1_32(buf)==805769492){break;} }
        for(i=-54;i<-35;i++){ buf[219]=(byte)i; if(sha1_32(buf)==1462355417){break;} }
        for(i=-60;i<-51;i++){ buf[220]=(byte)i; if(sha1_32(buf)==-239755081){break;} }
        for(i=43;i<66;i++){ buf[221]=(byte)i; if(sha1_32(buf)==-1654484956){break;} }
        for(i=-10;i<12;i++){ buf[222]=(byte)i; if(sha1_32(buf)==437899081){break;} }
        for(i=-128;i<-105;i++){ buf[223]=(byte)i; if(sha1_32(buf)==1143310811){break;} }
        for(i=80;i<100;i++){ buf[224]=(byte)i; if(sha1_32(buf)==-1916882345){break;} }
        for(i=-65;i<-54;i++){ buf[225]=(byte)i; if(sha1_32(buf)==-2140683044){break;} }
        for(i=85;i<94;i++){ buf[226]=(byte)i; if(sha1_32(buf)==266052502){break;} }
        for(i=-128;i<-115;i++){ buf[227]=(byte)i; if(sha1_32(buf)==1559334199){break;} }
        for(i=-78;i<-69;i++){ buf[228]=(byte)i; if(sha1_32(buf)==635516258){break;} }
        for(i=64;i<76;i++){ buf[229]=(byte)i; if(sha1_32(buf)==1429554644){break;} }
        for(i=68;i<84;i++){ buf[230]=(byte)i; if(sha1_32(buf)==-688440453){break;} }
        for(i=116;i<128;i++){ buf[231]=(byte)i; if(sha1_32(buf)==1138542386){break;} }
        for(i=-77;i<-60;i++){ buf[232]=(byte)i; if(sha1_32(buf)==-52867876){break;} }
        for(i=1;i<17;i++){ buf[233]=(byte)i; if(sha1_32(buf)==-1420247076){break;} }
        for(i=2;i<24;i++){ buf[234]=(byte)i; if(sha1_32(buf)==-1486021186){break;} }
        for(i=46;i<55;i++){ buf[235]=(byte)i; if(sha1_32(buf)==983780769){break;} }
        for(i=108;i<128;i++){ buf[236]=(byte)i; if(sha1_32(buf)==-1282550185){break;} }
        for(i=-23;i<-8;i++){ buf[237]=(byte)i; if(sha1_32(buf)==1251815614){break;} }
        for(i=12;i<23;i++){ buf[238]=(byte)i; if(sha1_32(buf)==1931072910){break;} }
        for(i=28;i<38;i++){ buf[239]=(byte)i; if(sha1_32(buf)==-1867101497){break;} }
        for(i=56;i<73;i++){ buf[240]=(byte)i; if(sha1_32(buf)==-1799292943){break;} }
        for(i=108;i<110;i++){ buf[241]=(byte)i; if(sha1_32(buf)==-1726640979){break;} }
        for(i=-14;i<-5;i++){ buf[242]=(byte)i; if(sha1_32(buf)==-927029592){break;} }
        for(i=-93;i<-71;i++){ buf[243]=(byte)i; if(sha1_32(buf)==-1704750878){break;} }
        for(i=-128;i<-120;i++){ buf[244]=(byte)i; if(sha1_32(buf)==-898465334){break;} }
        for(i=77;i<99;i++){ buf[245]=(byte)i; if(sha1_32(buf)==129252196){break;} }
        for(i=122;i<128;i++){ buf[246]=(byte)i; if(sha1_32(buf)==1418708845){break;} }
        for(i=64;i<88;i++){ buf[247]=(byte)i; if(sha1_32(buf)==-1327418733){break;} }
        for(i=72;i<87;i++){ buf[248]=(byte)i; if(sha1_32(buf)==-1858471197){break;} }
        for(i=-108;i<-86;i++){ buf[249]=(byte)i; if(sha1_32(buf)==-786507608){break;} }
        for(i=-93;i<-80;i++){ buf[250]=(byte)i; if(sha1_32(buf)==1602827084){break;} }
        for(i=-65;i<-49;i++){ buf[251]=(byte)i; if(sha1_32(buf)==1638865625){break;} }
        for(i=-101;i<-89;i++){ buf[252]=(byte)i; if(sha1_32(buf)==-745087914){break;} }
        for(i=115;i<128;i++){ buf[253]=(byte)i; if(sha1_32(buf)==-2004498515){break;} }
        for(i=106;i<120;i++){ buf[254]=(byte)i; if(sha1_32(buf)==163439099){break;} }
        for(i=-30;i<-18;i++){ buf[255]=(byte)i; if(sha1_32(buf)==289583255){break;} }
        for(i=100;i<128;i++){ buf[256]=(byte)i; if(sha1_32(buf)==900465439){break;} }
        for(i=-13;i<8;i++){ buf[257]=(byte)i; if(sha1_32(buf)==-1330111883){break;} }
        for(i=1;i<17;i++){ buf[258]=(byte)i; if(sha1_32(buf)==-695253753){break;} }
        for(i=10;i<23;i++){ buf[259]=(byte)i; if(sha1_32(buf)==206731388){break;} }
        for(i=-3;i<9;i++){ buf[260]=(byte)i; if(sha1_32(buf)==-1309289422){break;} }
        for(i=-58;i<-44;i++){ buf[261]=(byte)i; if(sha1_32(buf)==-1275159887){break;} }
        for(i=108;i<128;i++){ buf[262]=(byte)i; if(sha1_32(buf)==880103441){break;} }
        for(i=-90;i<-75;i++){ buf[263]=(byte)i; if(sha1_32(buf)==-681279724){break;} }
        for(i=-117;i<-99;i++){ buf[264]=(byte)i; if(sha1_32(buf)==-147188776){break;} }
        for(i=-125;i<-98;i++){ buf[265]=(byte)i; if(sha1_32(buf)==-1734832827){break;} }
        for(i=-82;i<-67;i++){ buf[266]=(byte)i; if(sha1_32(buf)==-1187687085){break;} }
        for(i=26;i<29;i++){ buf[267]=(byte)i; if(sha1_32(buf)==-1433850224){break;} }
        for(i=8;i<9;i++){ buf[268]=(byte)i; if(sha1_32(buf)==1984540040){break;} }
        for(i=-74;i<-59;i++){ buf[269]=(byte)i; if(sha1_32(buf)==2063981396){break;} }
        for(i=72;i<76;i++){ buf[270]=(byte)i; if(sha1_32(buf)==1538590621){break;} }
        for(i=-103;i<-90;i++){ buf[271]=(byte)i; if(sha1_32(buf)==-1153059139){break;} }
        for(i=-99;i<-79;i++){ buf[272]=(byte)i; if(sha1_32(buf)==240771459){break;} }
        for(i=-73;i<-56;i++){ buf[273]=(byte)i; if(sha1_32(buf)==1114025780){break;} }
        for(i=27;i<46;i++){ buf[274]=(byte)i; if(sha1_32(buf)==1030469074){break;} }
        for(i=-80;i<-52;i++){ buf[275]=(byte)i; if(sha1_32(buf)==-805442974){break;} }
        for(i=-63;i<-39;i++){ buf[276]=(byte)i; if(sha1_32(buf)==-2142645090){break;} }
        for(i=-116;i<-115;i++){ buf[277]=(byte)i; if(sha1_32(buf)==-1781998471){break;} }
        for(i=13;i<25;i++){ buf[278]=(byte)i; if(sha1_32(buf)==-1697577841){break;} }
        for(i=72;i<83;i++){ buf[279]=(byte)i; if(sha1_32(buf)==-1530229056){break;} }
        for(i=-97;i<-86;i++){ buf[280]=(byte)i; if(sha1_32(buf)==-1578837651){break;} }
        for(i=-57;i<-37;i++){ buf[281]=(byte)i; if(sha1_32(buf)==1990951282){break;} }
        for(i=-124;i<-107;i++){ buf[282]=(byte)i; if(sha1_32(buf)==389204272){break;} }
        for(i=-127;i<-113;i++){ buf[283]=(byte)i; if(sha1_32(buf)==-1424538843){break;} }
        for(i=72;i<88;i++){ buf[284]=(byte)i; if(sha1_32(buf)==876996815){break;} }
        for(i=97;i<116;i++){ buf[285]=(byte)i; if(sha1_32(buf)==252113144){break;} }
        for(i=44;i<48;i++){ buf[286]=(byte)i; if(sha1_32(buf)==-623694208){break;} }
        for(i=-73;i<-56;i++){ buf[287]=(byte)i; if(sha1_32(buf)==-596047639){break;} }
        for(i=-64;i<-53;i++){ buf[288]=(byte)i; if(sha1_32(buf)==1265960776){break;} }
        for(i=-102;i<-75;i++){ buf[289]=(byte)i; if(sha1_32(buf)==1621440039){break;} }
        for(i=-37;i<-19;i++){ buf[290]=(byte)i; if(sha1_32(buf)==332031535){break;} }
        for(i=84;i<110;i++){ buf[291]=(byte)i; if(sha1_32(buf)==180600170){break;} }
        for(i=-90;i<-61;i++){ buf[292]=(byte)i; if(sha1_32(buf)==-632803586){break;} }
        for(i=86;i<106;i++){ buf[293]=(byte)i; if(sha1_32(buf)==1643250783){break;} }
        for(i=-94;i<-72;i++){ buf[294]=(byte)i; if(sha1_32(buf)==-1498663668){break;} }
        for(i=37;i<48;i++){ buf[295]=(byte)i; if(sha1_32(buf)==1858007060){break;} }
        for(i=-13;i<-3;i++){ buf[296]=(byte)i; if(sha1_32(buf)==319069328){break;} }
        for(i=89;i<107;i++){ buf[297]=(byte)i; if(sha1_32(buf)==-468224201){break;} }
        for(i=-67;i<-64;i++){ buf[298]=(byte)i; if(sha1_32(buf)==2022396525){break;} }
        for(i=-81;i<-67;i++){ buf[299]=(byte)i; if(sha1_32(buf)==-1197047242){break;} }
        for(i=104;i<121;i++){ buf[300]=(byte)i; if(sha1_32(buf)==1604210260){break;} }
        for(i=-93;i<-84;i++){ buf[301]=(byte)i; if(sha1_32(buf)==-2102859392){break;} }
        for(i=-79;i<-54;i++){ buf[302]=(byte)i; if(sha1_32(buf)==85683560){break;} }
        for(i=-84;i<-67;i++){ buf[303]=(byte)i; if(sha1_32(buf)==353546549){break;} }
        for(i=79;i<85;i++){ buf[304]=(byte)i; if(sha1_32(buf)==136779697){break;} }
        for(i=-56;i<-35;i++){ buf[305]=(byte)i; if(sha1_32(buf)==-1799147156){break;} }
        for(i=-38;i<-26;i++){ buf[306]=(byte)i; if(sha1_32(buf)==1544507716){break;} }
        for(i=-92;i<-75;i++){ buf[307]=(byte)i; if(sha1_32(buf)==-598319020){break;} }
        for(i=-36;i<-30;i++){ buf[308]=(byte)i; if(sha1_32(buf)==188153507){break;} }
        for(i=65;i<88;i++){ buf[309]=(byte)i; if(sha1_32(buf)==-1430336990){break;} }
        for(i=91;i<105;i++){ buf[310]=(byte)i; if(sha1_32(buf)==1171980530){break;} }
        for(i=-126;i<-107;i++){ buf[311]=(byte)i; if(sha1_32(buf)==-610493318){break;} }
        for(i=-121;i<-105;i++){ buf[312]=(byte)i; if(sha1_32(buf)==867423106){break;} }
        for(i=-86;i<-72;i++){ buf[313]=(byte)i; if(sha1_32(buf)==-1731243716){break;} }
        for(i=108;i<128;i++){ buf[314]=(byte)i; if(sha1_32(buf)==-1845722972){break;} }
        for(i=46;i<62;i++){ buf[315]=(byte)i; if(sha1_32(buf)==-370400968){break;} }
        for(i=-77;i<-57;i++){ buf[316]=(byte)i; if(sha1_32(buf)==938496186){break;} }
        for(i=16;i<30;i++){ buf[317]=(byte)i; if(sha1_32(buf)==376936593){break;} }
        for(i=9;i<22;i++){ buf[318]=(byte)i; if(sha1_32(buf)==1862214669){break;} }
        for(i=-32;i<-18;i++){ buf[319]=(byte)i; if(sha1_32(buf)==-1617270777){break;} }
        for(i=-75;i<-59;i++){ buf[320]=(byte)i; if(sha1_32(buf)==1821956577){break;} }
        for(i=51;i<59;i++){ buf[321]=(byte)i; if(sha1_32(buf)==1540323761){break;} }
        for(i=-101;i<-78;i++){ buf[322]=(byte)i; if(sha1_32(buf)==-295063609){break;} }
        for(i=35;i<50;i++){ buf[323]=(byte)i; if(sha1_32(buf)==1595300003){break;} }
        for(i=47;i<70;i++){ buf[324]=(byte)i; if(sha1_32(buf)==-1613962307){break;} }
        for(i=25;i<43;i++){ buf[325]=(byte)i; if(sha1_32(buf)==-1636497148){break;} }
        for(i=-85;i<-72;i++){ buf[326]=(byte)i; if(sha1_32(buf)==-903222059){break;} }
        for(i=76;i<92;i++){ buf[327]=(byte)i; if(sha1_32(buf)==-425133062){break;} }
        for(i=-59;i<-41;i++){ buf[328]=(byte)i; if(sha1_32(buf)==-1026149636){break;} }
        for(i=54;i<79;i++){ buf[329]=(byte)i; if(sha1_32(buf)==-1467702849){break;} }
        for(i=-66;i<-57;i++){ buf[330]=(byte)i; if(sha1_32(buf)==-1941106384){break;} }
        for(i=17;i<34;i++){ buf[331]=(byte)i; if(sha1_32(buf)==881000777){break;} }
        for(i=-26;i<-14;i++){ buf[332]=(byte)i; if(sha1_32(buf)==1309931658){break;} }
        for(i=-66;i<-63;i++){ buf[333]=(byte)i; if(sha1_32(buf)==1225791489){break;} }
        for(i=24;i<27;i++){ buf[334]=(byte)i; if(sha1_32(buf)==-1969991586){break;} }
        for(i=-5;i<3;i++){ buf[335]=(byte)i; if(sha1_32(buf)==285315117){break;} }
        for(i=-106;i<-104;i++){ buf[336]=(byte)i; if(sha1_32(buf)==-637913837){break;} }
        for(i=100;i<114;i++){ buf[337]=(byte)i; if(sha1_32(buf)==-1463406316){break;} }
        for(i=12;i<25;i++){ buf[338]=(byte)i; if(sha1_32(buf)==-570889971){break;} }
        for(i=81;i<88;i++){ buf[339]=(byte)i; if(sha1_32(buf)==-1070572828){break;} }
        for(i=66;i<88;i++){ buf[340]=(byte)i; if(sha1_32(buf)==980240884){break;} }
        for(i=-90;i<-81;i++){ buf[341]=(byte)i; if(sha1_32(buf)==443454703){break;} }
        for(i=-39;i<-28;i++){ buf[342]=(byte)i; if(sha1_32(buf)==1934246422){break;} }
        for(i=-35;i<-21;i++){ buf[343]=(byte)i; if(sha1_32(buf)==-494946980){break;} }
        for(i=40;i<49;i++){ buf[344]=(byte)i; if(sha1_32(buf)==-559607288){break;} }
        for(i=-109;i<-89;i++){ buf[345]=(byte)i; if(sha1_32(buf)==-1191296932){break;} }
        for(i=-104;i<-92;i++){ buf[346]=(byte)i; if(sha1_32(buf)==1097023636){break;} }
        for(i=109;i<128;i++){ buf[347]=(byte)i; if(sha1_32(buf)==-689247795){break;} }
        for(i=-69;i<-67;i++){ buf[348]=(byte)i; if(sha1_32(buf)==1418220481){break;} }
        for(i=4;i<15;i++){ buf[349]=(byte)i; if(sha1_32(buf)==658825585){break;} }
        for(i=-19;i<1;i++){ buf[350]=(byte)i; if(sha1_32(buf)==2075721296){break;} }
        for(i=26;i<45;i++){ buf[351]=(byte)i; if(sha1_32(buf)==-642427536){break;} }
        for(i=6;i<26;i++){ buf[352]=(byte)i; if(sha1_32(buf)==1957241391){break;} }
        for(i=117;i<121;i++){ buf[353]=(byte)i; if(sha1_32(buf)==-344151909){break;} }
        for(i=-2;i<5;i++){ buf[354]=(byte)i; if(sha1_32(buf)==-344151909){break;} }
        for(i=-19;i<-14;i++){ buf[355]=(byte)i; if(sha1_32(buf)==974710119){break;} }
        for(i=-80;i<-57;i++){ buf[356]=(byte)i; if(sha1_32(buf)==918977262){break;} }
        for(i=-37;i<-26;i++){ buf[357]=(byte)i; if(sha1_32(buf)==-1816691761){break;} }
        for(i=34;i<62;i++){ buf[358]=(byte)i; if(sha1_32(buf)==-1594151444){break;} }
        for(i=39;i<59;i++){ buf[359]=(byte)i; if(sha1_32(buf)==-347069989){break;} }
        for(i=-20;i<-6;i++){ buf[360]=(byte)i; if(sha1_32(buf)==-346197729){break;} }
        for(i=-85;i<-76;i++){ buf[361]=(byte)i; if(sha1_32(buf)==-2139425930){break;} }
        for(i=52;i<68;i++){ buf[362]=(byte)i; if(sha1_32(buf)==1570625406){break;} }
        for(i=22;i<35;i++){ buf[363]=(byte)i; if(sha1_32(buf)==-425848977){break;} }
        for(i=-56;i<-51;i++){ buf[364]=(byte)i; if(sha1_32(buf)==-52961577){break;} }
        for(i=13;i<30;i++){ buf[365]=(byte)i; if(sha1_32(buf)==-666748430){break;} }
        for(i=-85;i<-58;i++){ buf[366]=(byte)i; if(sha1_32(buf)==-955300730){break;} }
        for(i=32;i<46;i++){ buf[367]=(byte)i; if(sha1_32(buf)==915876550){break;} }
        for(i=92;i<100;i++){ buf[368]=(byte)i; if(sha1_32(buf)==-248092378){break;} }
        for(i=70;i<81;i++){ buf[369]=(byte)i; if(sha1_32(buf)==-607720280){break;} }
        for(i=57;i<83;i++){ buf[370]=(byte)i; if(sha1_32(buf)==-1270300591){break;} }
        for(i=-21;i<-6;i++){ buf[371]=(byte)i; if(sha1_32(buf)==686693239){break;} }
        for(i=108;i<128;i++){ buf[372]=(byte)i; if(sha1_32(buf)==-1123556408){break;} }
        for(i=31;i<45;i++){ buf[373]=(byte)i; if(sha1_32(buf)==1337926246){break;} }
        for(i=-24;i<-8;i++){ buf[374]=(byte)i; if(sha1_32(buf)==159304758){break;} }
        for(i=-86;i<-82;i++){ buf[375]=(byte)i; if(sha1_32(buf)==-574749567){break;} }
        for(i=42;i<68;i++){ buf[376]=(byte)i; if(sha1_32(buf)==-560536983){break;} }
        for(i=-125;i<-97;i++){ buf[377]=(byte)i; if(sha1_32(buf)==667355988){break;} }
        for(i=88;i<114;i++){ buf[378]=(byte)i; if(sha1_32(buf)==-376722607){break;} }
        for(i=70;i<90;i++){ buf[379]=(byte)i; if(sha1_32(buf)==-474638009){break;} }
        for(i=73;i<98;i++){ buf[380]=(byte)i; if(sha1_32(buf)==-12540566){break;} }
        for(i=-17;i<0;i++){ buf[381]=(byte)i; if(sha1_32(buf)==1282105695){break;} }
        for(i=103;i<109;i++){ buf[382]=(byte)i; if(sha1_32(buf)==-833589833){break;} }
        for(i=-101;i<-85;i++){ buf[383]=(byte)i; if(sha1_32(buf)==2103194370){break;} }
        for(i=-125;i<-111;i++){ buf[384]=(byte)i; if(sha1_32(buf)==470204737){break;} }
        for(i=-51;i<-40;i++){ buf[385]=(byte)i; if(sha1_32(buf)==1382433142){break;} }
        for(i=92;i<112;i++){ buf[386]=(byte)i; if(sha1_32(buf)==890738221){break;} }
        for(i=125;i<128;i++){ buf[387]=(byte)i; if(sha1_32(buf)==1340218193){break;} }
        for(i=73;i<94;i++){ buf[388]=(byte)i; if(sha1_32(buf)==-188582959){break;} }
        for(i=-88;i<-63;i++){ buf[389]=(byte)i; if(sha1_32(buf)==-1100479829){break;} }
        for(i=-93;i<-86;i++){ buf[390]=(byte)i; if(sha1_32(buf)==-781612381){break;} }
        for(i=93;i<106;i++){ buf[391]=(byte)i; if(sha1_32(buf)==-151430818){break;} }
        for(i=46;i<63;i++){ buf[392]=(byte)i; if(sha1_32(buf)==-1377846105){break;} }
        for(i=-125;i<-109;i++){ buf[393]=(byte)i; if(sha1_32(buf)==1846485817){break;} }
        for(i=-40;i<-33;i++){ buf[394]=(byte)i; if(sha1_32(buf)==2003053995){break;} }
        for(i=39;i<54;i++){ buf[395]=(byte)i; if(sha1_32(buf)==-613842466){break;} }
        for(i=37;i<51;i++){ buf[396]=(byte)i; if(sha1_32(buf)==1626818697){break;} }
        for(i=44;i<60;i++){ buf[397]=(byte)i; if(sha1_32(buf)==-1704526266){break;} }
        for(i=-96;i<-82;i++){ buf[398]=(byte)i; if(sha1_32(buf)==-1793886160){break;} }
        for(i=-4;i<12;i++){ buf[399]=(byte)i; if(sha1_32(buf)==-1677885655){break;} }
        for(i=-33;i<-25;i++){ buf[400]=(byte)i; if(sha1_32(buf)==-1626112921){break;} }
        for(i=99;i<119;i++){ buf[401]=(byte)i; if(sha1_32(buf)==-411214628){break;} }
        for(i=-7;i<9;i++){ buf[402]=(byte)i; if(sha1_32(buf)==-963227602){break;} }
        for(i=-63;i<-53;i++){ buf[403]=(byte)i; if(sha1_32(buf)==1885442553){break;} }
        for(i=97;i<107;i++){ buf[404]=(byte)i; if(sha1_32(buf)==-1660909512){break;} }
        for(i=93;i<98;i++){ buf[405]=(byte)i; if(sha1_32(buf)==379242220){break;} }
        for(i=-37;i<-24;i++){ buf[406]=(byte)i; if(sha1_32(buf)==1435927024){break;} }
        for(i=93;i<113;i++){ buf[407]=(byte)i; if(sha1_32(buf)==720407759){break;} }
        for(i=-92;i<-67;i++){ buf[408]=(byte)i; if(sha1_32(buf)==-962344902){break;} }
        for(i=-117;i<-99;i++){ buf[409]=(byte)i; if(sha1_32(buf)==-509314175){break;} }
        for(i=-125;i<-109;i++){ buf[410]=(byte)i; if(sha1_32(buf)==1941478982){break;} }
        for(i=114;i<128;i++){ buf[411]=(byte)i; if(sha1_32(buf)==1428688403){break;} }
        for(i=36;i<60;i++){ buf[412]=(byte)i; if(sha1_32(buf)==1431892397){break;} }
        for(i=75;i<90;i++){ buf[413]=(byte)i; if(sha1_32(buf)==-170562555){break;} }
        for(i=74;i<100;i++){ buf[414]=(byte)i; if(sha1_32(buf)==1539752498){break;} }
        for(i=-49;i<-35;i++){ buf[415]=(byte)i; if(sha1_32(buf)==478982695){break;} }
        for(i=14;i<37;i++){ buf[416]=(byte)i; if(sha1_32(buf)==-661979597){break;} }
        for(i=-54;i<-47;i++){ buf[417]=(byte)i; if(sha1_32(buf)==454900989){break;} }
        for(i=-70;i<-57;i++){ buf[418]=(byte)i; if(sha1_32(buf)==-1128972856){break;} }
        for(i=105;i<126;i++){ buf[419]=(byte)i; if(sha1_32(buf)==1323902508){break;} }
        for(i=-77;i<-70;i++){ buf[420]=(byte)i; if(sha1_32(buf)==-971524968){break;} }
        for(i=3;i<10;i++){ buf[421]=(byte)i; if(sha1_32(buf)==-1586845399){break;} }
        for(i=95;i<121;i++){ buf[422]=(byte)i; if(sha1_32(buf)==889511523){break;} }
        for(i=-128;i<-119;i++){ buf[423]=(byte)i; if(sha1_32(buf)==286908376){break;} }
        for(i=101;i<119;i++){ buf[424]=(byte)i; if(sha1_32(buf)==1198835122){break;} }
        for(i=107;i<121;i++){ buf[425]=(byte)i; if(sha1_32(buf)==-1140657391){break;} }
        for(i=51;i<61;i++){ buf[426]=(byte)i; if(sha1_32(buf)==-1127175937){break;} }
        for(i=69;i<83;i++){ buf[427]=(byte)i; if(sha1_32(buf)==1700262287){break;} }
        for(i=91;i<111;i++){ buf[428]=(byte)i; if(sha1_32(buf)==1541849947){break;} }
        for(i=-122;i<-104;i++){ buf[429]=(byte)i; if(sha1_32(buf)==1666984888){break;} }
        for(i=55;i<78;i++){ buf[430]=(byte)i; if(sha1_32(buf)==1942672641){break;} }
        for(i=-128;i<-114;i++){ buf[431]=(byte)i; if(sha1_32(buf)==-842857392){break;} }
        for(i=-88;i<-67;i++){ buf[432]=(byte)i; if(sha1_32(buf)==1144420571){break;} }
        for(i=102;i<125;i++){ buf[433]=(byte)i; if(sha1_32(buf)==583106222){break;} }
        for(i=-114;i<-98;i++){ buf[434]=(byte)i; if(sha1_32(buf)==409196879){break;} }
        for(i=96;i<114;i++){ buf[435]=(byte)i; if(sha1_32(buf)==-1405549272){break;} }
        for(i=-70;i<-57;i++){ buf[436]=(byte)i; if(sha1_32(buf)==-199990869){break;} }
        for(i=-4;i<7;i++){ buf[437]=(byte)i; if(sha1_32(buf)==-199990869){break;} }
        for(i=84;i<105;i++){ buf[438]=(byte)i; if(sha1_32(buf)==664656139){break;} }
        for(i=0;i<24;i++){ buf[439]=(byte)i; if(sha1_32(buf)==-451852364){break;} }
        for(i=64;i<83;i++){ buf[440]=(byte)i; if(sha1_32(buf)==-1241329883){break;} }
        for(i=-67;i<-59;i++){ buf[441]=(byte)i; if(sha1_32(buf)==-1968246069){break;} }
        for(i=-33;i<-12;i++){ buf[442]=(byte)i; if(sha1_32(buf)==1322566516){break;} }
        for(i=-15;i<1;i++){ buf[443]=(byte)i; if(sha1_32(buf)==-1205685628){break;} }
        for(i=-3;i<25;i++){ buf[444]=(byte)i; if(sha1_32(buf)==-581774848){break;} }
        for(i=24;i<40;i++){ buf[445]=(byte)i; if(sha1_32(buf)==792914454){break;} }
        for(i=-117;i<-101;i++){ buf[446]=(byte)i; if(sha1_32(buf)==493749088){break;} }
        for(i=86;i<102;i++){ buf[447]=(byte)i; if(sha1_32(buf)==1595746669){break;} }
        for(i=-99;i<-92;i++){ buf[448]=(byte)i; if(sha1_32(buf)==1469051047){break;} }
        for(i=-82;i<-59;i++){ buf[449]=(byte)i; if(sha1_32(buf)==-1622897469){break;} }
        for(i=-26;i<-16;i++){ buf[450]=(byte)i; if(sha1_32(buf)==-97322230){break;} }
        for(i=-1;i<7;i++){ buf[451]=(byte)i; if(sha1_32(buf)==1460824544){break;} }
        for(i=-126;i<-98;i++){ buf[452]=(byte)i; if(sha1_32(buf)==1820844336){break;} }
        for(i=37;i<47;i++){ buf[453]=(byte)i; if(sha1_32(buf)==4623252){break;} }
        for(i=61;i<78;i++){ buf[454]=(byte)i; if(sha1_32(buf)==85666557){break;} }
        for(i=-98;i<-80;i++){ buf[455]=(byte)i; if(sha1_32(buf)==1195939660){break;} }
        for(i=-51;i<-34;i++){ buf[456]=(byte)i; if(sha1_32(buf)==-1077576912){break;} }
        for(i=-100;i<-83;i++){ buf[457]=(byte)i; if(sha1_32(buf)==-1294154547){break;} }
        for(i=57;i<65;i++){ buf[458]=(byte)i; if(sha1_32(buf)==647310936){break;} }
        for(i=-121;i<-106;i++){ buf[459]=(byte)i; if(sha1_32(buf)==-469070003){break;} }
        for(i=67;i<85;i++){ buf[460]=(byte)i; if(sha1_32(buf)==1936932541){break;} }
        for(i=-39;i<-31;i++){ buf[461]=(byte)i; if(sha1_32(buf)==-1900476043){break;} }
        for(i=-12;i<4;i++){ buf[462]=(byte)i; if(sha1_32(buf)==-1900476043){break;} }
        for(i=-24;i<-10;i++){ buf[463]=(byte)i; if(sha1_32(buf)==-1118692378){break;} }
        for(i=-63;i<-45;i++){ buf[464]=(byte)i; if(sha1_32(buf)==1349584995){break;} }
        for(i=13;i<30;i++){ buf[465]=(byte)i; if(sha1_32(buf)==-587893047){break;} }
        for(i=8;i<27;i++){ buf[466]=(byte)i; if(sha1_32(buf)==1279075610){break;} }
        for(i=-38;i<-27;i++){ buf[467]=(byte)i; if(sha1_32(buf)==1829177109){break;} }
        for(i=55;i<80;i++){ buf[468]=(byte)i; if(sha1_32(buf)==1584552680){break;} }
        for(i=59;i<85;i++){ buf[469]=(byte)i; if(sha1_32(buf)==-1762500221){break;} }
        for(i=81;i<94;i++){ buf[470]=(byte)i; if(sha1_32(buf)==170422021){break;} }
        for(i=114;i<128;i++){ buf[471]=(byte)i; if(sha1_32(buf)==1344129464){break;} }
        for(i=93;i<98;i++){ buf[472]=(byte)i; if(sha1_32(buf)==-80838098){break;} }
        for(i=45;i<70;i++){ buf[473]=(byte)i; if(sha1_32(buf)==16255201){break;} }
        for(i=-44;i<-39;i++){ buf[474]=(byte)i; if(sha1_32(buf)==457395842){break;} }
        for(i=81;i<103;i++){ buf[475]=(byte)i; if(sha1_32(buf)==-148844530){break;} }
        for(i=-64;i<-52;i++){ buf[476]=(byte)i; if(sha1_32(buf)==2073696075){break;} }
        for(i=-64;i<-43;i++){ buf[477]=(byte)i; if(sha1_32(buf)==318835938){break;} }
        for(i=70;i<83;i++){ buf[478]=(byte)i; if(sha1_32(buf)==1005779764){break;} }
        for(i=-39;i<-27;i++){ buf[479]=(byte)i; if(sha1_32(buf)==1000568971){break;} }
        for(i=-94;i<-70;i++){ buf[480]=(byte)i; if(sha1_32(buf)==-1232380336){break;} }
        for(i=-75;i<-61;i++){ buf[481]=(byte)i; if(sha1_32(buf)==-839300330){break;} }
        for(i=3;i<8;i++){ buf[482]=(byte)i; if(sha1_32(buf)==-1514360176){break;} }
        for(i=-9;i<7;i++){ buf[483]=(byte)i; if(sha1_32(buf)==-1906664014){break;} }
        for(i=39;i<55;i++){ buf[484]=(byte)i; if(sha1_32(buf)==-1114896524){break;} }
        for(i=-68;i<-56;i++){ buf[485]=(byte)i; if(sha1_32(buf)==-2076583316){break;} }
        for(i=-21;i<1;i++){ buf[486]=(byte)i; if(sha1_32(buf)==-200278086){break;} }
        for(i=-93;i<-80;i++){ buf[487]=(byte)i; if(sha1_32(buf)==479941732){break;} }
        for(i=83;i<97;i++){ buf[488]=(byte)i; if(sha1_32(buf)==-1607043903){break;} }
        for(i=29;i<41;i++){ buf[489]=(byte)i; if(sha1_32(buf)==-1207460779){break;} }
        for(i=-128;i<-111;i++){ buf[490]=(byte)i; if(sha1_32(buf)==1191340621){break;} }
        for(i=-15;i<0;i++){ buf[491]=(byte)i; if(sha1_32(buf)==-984191686){break;} }
        for(i=-20;i<-4;i++){ buf[492]=(byte)i; if(sha1_32(buf)==-199384648){break;} }
        for(i=-10;i<4;i++){ buf[493]=(byte)i; if(sha1_32(buf)==-185350583){break;} }
        for(i=19;i<25;i++){ buf[494]=(byte)i; if(sha1_32(buf)==-1904213473){break;} }
        for(i=-40;i<-29;i++){ buf[495]=(byte)i; if(sha1_32(buf)==-1321711478){break;} }
        for(i=35;i<50;i++){ buf[496]=(byte)i; if(sha1_32(buf)==1359151001){break;} }
        for(i=-128;i<-109;i++){ buf[497]=(byte)i; if(sha1_32(buf)==388906155){break;} }
        for(i=90;i<108;i++){ buf[498]=(byte)i; if(sha1_32(buf)==284253890){break;} }
        for(i=-60;i<-44;i++){ buf[499]=(byte)i; if(sha1_32(buf)==-99200555){break;} }
        for(i=-71;i<-66;i++){ buf[500]=(byte)i; if(sha1_32(buf)==-2051597203){break;} }
        for(i=106;i<113;i++){ buf[501]=(byte)i; if(sha1_32(buf)==-637220056){break;} }
        for(i=-35;i<-16;i++){ buf[502]=(byte)i; if(sha1_32(buf)==-1989421857){break;} }
        for(i=80;i<105;i++){ buf[503]=(byte)i; if(sha1_32(buf)==1247278211){break;} }
        for(i=86;i<95;i++){ buf[504]=(byte)i; if(sha1_32(buf)==711136245){break;} }
        for(i=46;i<62;i++){ buf[505]=(byte)i; if(sha1_32(buf)==-992401729){break;} }
        for(i=7;i<12;i++){ buf[506]=(byte)i; if(sha1_32(buf)==-220074235){break;} }
        for(i=-115;i<-98;i++){ buf[507]=(byte)i; if(sha1_32(buf)==1335913425){break;} }
        for(i=-28;i<-6;i++){ buf[508]=(byte)i; if(sha1_32(buf)==-785434105){break;} }
        for(i=50;i<72;i++){ buf[509]=(byte)i; if(sha1_32(buf)==-1731871863){break;} }
        for(i=-15;i<0;i++){ buf[510]=(byte)i; if(sha1_32(buf)==-1145082249){break;} }
        for(i=88;i<109;i++){ buf[511]=(byte)i; if(sha1_32(buf)==-1331946826){break;} }
        for(i=62;i<80;i++){ buf[512]=(byte)i; if(sha1_32(buf)==470323250){break;} }
        for(i=-99;i<-83;i++){ buf[513]=(byte)i; if(sha1_32(buf)==1376797611){break;} }
        for(i=2;i<25;i++){ buf[514]=(byte)i; if(sha1_32(buf)==673846171){break;} }
        for(i=-6;i<10;i++){ buf[515]=(byte)i; if(sha1_32(buf)==2117551638){break;} }
        for(i=-29;i<-13;i++){ buf[516]=(byte)i; if(sha1_32(buf)==-1286906328){break;} }
        for(i=-44;i<-34;i++){ buf[517]=(byte)i; if(sha1_32(buf)==-404321800){break;} }
        for(i=5;i<27;i++){ buf[518]=(byte)i; if(sha1_32(buf)==2030726370){break;} }
        for(i=-42;i<-31;i++){ buf[519]=(byte)i; if(sha1_32(buf)==1001202559){break;} }
        for(i=38;i<61;i++){ buf[520]=(byte)i; if(sha1_32(buf)==964586651){break;} }
        for(i=-81;i<-73;i++){ buf[521]=(byte)i; if(sha1_32(buf)==914012460){break;} }
        for(i=-48;i<-22;i++){ buf[522]=(byte)i; if(sha1_32(buf)==374926603){break;} }
        for(i=62;i<89;i++){ buf[523]=(byte)i; if(sha1_32(buf)==1485600470){break;} }
        for(i=80;i<98;i++){ buf[524]=(byte)i; if(sha1_32(buf)==217310098){break;} }
        for(i=-9;i<10;i++){ buf[525]=(byte)i; if(sha1_32(buf)==537131629){break;} }
        for(i=-18;i<-4;i++){ buf[526]=(byte)i; if(sha1_32(buf)==1453608807){break;} }
        for(i=23;i<43;i++){ buf[527]=(byte)i; if(sha1_32(buf)==-2137529777){break;} }
        for(i=-97;i<-76;i++){ buf[528]=(byte)i; if(sha1_32(buf)==-736150947){break;} }
        for(i=116;i<123;i++){ buf[529]=(byte)i; if(sha1_32(buf)==-1469834041){break;} }
        for(i=43;i<49;i++){ buf[530]=(byte)i; if(sha1_32(buf)==-1139067365){break;} }
        for(i=37;i<51;i++){ buf[531]=(byte)i; if(sha1_32(buf)==1569738871){break;} }
        for(i=19;i<46;i++){ buf[532]=(byte)i; if(sha1_32(buf)==-358769048){break;} }
        for(i=-108;i<-95;i++){ buf[533]=(byte)i; if(sha1_32(buf)==391596672){break;} }
        for(i=8;i<18;i++){ buf[534]=(byte)i; if(sha1_32(buf)==-1884953732){break;} }
        for(i=-126;i<-110;i++){ buf[535]=(byte)i; if(sha1_32(buf)==1521396678){break;} }
        for(i=6;i<22;i++){ buf[536]=(byte)i; if(sha1_32(buf)==-650152835){break;} }
        for(i=-112;i<-99;i++){ buf[537]=(byte)i; if(sha1_32(buf)==-2077085579){break;} }
        for(i=15;i<39;i++){ buf[538]=(byte)i; if(sha1_32(buf)==2053173916){break;} }
        for(i=-22;i<0;i++){ buf[539]=(byte)i; if(sha1_32(buf)==-983850503){break;} }
        for(i=-64;i<-47;i++){ buf[540]=(byte)i; if(sha1_32(buf)==-190430557){break;} }
        for(i=126;i<128;i++){ buf[541]=(byte)i; if(sha1_32(buf)==-1529137575){break;} }
        for(i=-75;i<-57;i++){ buf[542]=(byte)i; if(sha1_32(buf)==-964587791){break;} }
        for(i=-34;i<-19;i++){ buf[543]=(byte)i; if(sha1_32(buf)==1275318275){break;} }
        for(i=-42;i<-25;i++){ buf[544]=(byte)i; if(sha1_32(buf)==-911609427){break;} }
        for(i=29;i<46;i++){ buf[545]=(byte)i; if(sha1_32(buf)==1085501157){break;} }
        for(i=67;i<91;i++){ buf[546]=(byte)i; if(sha1_32(buf)==-1278208733){break;} }
        for(i=54;i<70;i++){ buf[547]=(byte)i; if(sha1_32(buf)==-1915168945){break;} }
        for(i=79;i<104;i++){ buf[548]=(byte)i; if(sha1_32(buf)==-624047823){break;} }
        for(i=-121;i<-101;i++){ buf[549]=(byte)i; if(sha1_32(buf)==-2018622365){break;} }
        for(i=-116;i<-97;i++){ buf[550]=(byte)i; if(sha1_32(buf)==1135509021){break;} }
        for(i=-14;i<3;i++){ buf[551]=(byte)i; if(sha1_32(buf)==-1573539430){break;} }
        for(i=9;i<29;i++){ buf[552]=(byte)i; if(sha1_32(buf)==-334246449){break;} }
        for(i=-44;i<-23;i++){ buf[553]=(byte)i; if(sha1_32(buf)==1200878914){break;} }
        for(i=-39;i<-23;i++){ buf[554]=(byte)i; if(sha1_32(buf)==2136042421){break;} }
        for(i=13;i<31;i++){ buf[555]=(byte)i; if(sha1_32(buf)==-139552940){break;} }
        for(i=-46;i<-21;i++){ buf[556]=(byte)i; if(sha1_32(buf)==-1183363638){break;} }
        for(i=-71;i<-61;i++){ buf[557]=(byte)i; if(sha1_32(buf)==-1805321455){break;} }
        for(i=38;i<59;i++){ buf[558]=(byte)i; if(sha1_32(buf)==1841999429){break;} }
        for(i=75;i<90;i++){ buf[559]=(byte)i; if(sha1_32(buf)==-329220727){break;} }
        for(i=49;i<78;i++){ buf[560]=(byte)i; if(sha1_32(buf)==-1541580768){break;} }
        for(i=-126;i<-109;i++){ buf[561]=(byte)i; if(sha1_32(buf)==-903132127){break;} }
        for(i=-106;i<-87;i++){ buf[562]=(byte)i; if(sha1_32(buf)==-2012003277){break;} }
        for(i=-126;i<-112;i++){ buf[563]=(byte)i; if(sha1_32(buf)==1100552784){break;} }
        for(i=-20;i<-5;i++){ buf[564]=(byte)i; if(sha1_32(buf)==1410985590){break;} }
        for(i=4;i<22;i++){ buf[565]=(byte)i; if(sha1_32(buf)==-721255531){break;} }
        for(i=27;i<40;i++){ buf[566]=(byte)i; if(sha1_32(buf)==-1824381279){break;} }
        for(i=-33;i<-14;i++){ buf[567]=(byte)i; if(sha1_32(buf)==860159928){break;} }
        for(i=5;i<20;i++){ buf[568]=(byte)i; if(sha1_32(buf)==-103636078){break;} }
        for(i=-34;i<-24;i++){ buf[569]=(byte)i; if(sha1_32(buf)==-1480466839){break;} }
        for(i=0;i<19;i++){ buf[570]=(byte)i; if(sha1_32(buf)==955395404){break;} }
        for(i=16;i<37;i++){ buf[571]=(byte)i; if(sha1_32(buf)==1814699715){break;} }
        for(i=0;i<19;i++){ buf[572]=(byte)i; if(sha1_32(buf)==647157214){break;} }
        for(i=-53;i<-36;i++){ buf[573]=(byte)i; if(sha1_32(buf)==-905819982){break;} }
        for(i=-28;i<-19;i++){ buf[574]=(byte)i; if(sha1_32(buf)==-1403352949){break;} }
        for(i=-79;i<-61;i++){ buf[575]=(byte)i; if(sha1_32(buf)==2026937980){break;} }
        for(i=-96;i<-67;i++){ buf[576]=(byte)i; if(sha1_32(buf)==-1872761072){break;} }
        for(i=-64;i<-54;i++){ buf[577]=(byte)i; if(sha1_32(buf)==1741452451){break;} }
        for(i=-100;i<-75;i++){ buf[578]=(byte)i; if(sha1_32(buf)==1839183286){break;} }
        for(i=-124;i<-99;i++){ buf[579]=(byte)i; if(sha1_32(buf)==-30341080){break;} }
        for(i=88;i<110;i++){ buf[580]=(byte)i; if(sha1_32(buf)==1434336369){break;} }
        for(i=-60;i<-39;i++){ buf[581]=(byte)i; if(sha1_32(buf)==-878844022){break;} }
        for(i=-87;i<-59;i++){ buf[582]=(byte)i; if(sha1_32(buf)==1017904919){break;} }
        for(i=114;i<128;i++){ buf[583]=(byte)i; if(sha1_32(buf)==-1982664682){break;} }
        for(i=-112;i<-94;i++){ buf[584]=(byte)i; if(sha1_32(buf)==-564002626){break;} }
        for(i=109;i<116;i++){ buf[585]=(byte)i; if(sha1_32(buf)==21417144){break;} }
        for(i=-73;i<-72;i++){ buf[586]=(byte)i; if(sha1_32(buf)==284096829){break;} }
        for(i=-46;i<-24;i++){ buf[587]=(byte)i; if(sha1_32(buf)==1993928978){break;} }
        for(i=75;i<87;i++){ buf[588]=(byte)i; if(sha1_32(buf)==-1957160124){break;} }
        for(i=60;i<77;i++){ buf[589]=(byte)i; if(sha1_32(buf)==1544105414){break;} }
        for(i=-61;i<-56;i++){ buf[590]=(byte)i; if(sha1_32(buf)==337433907){break;} }
        for(i=72;i<88;i++){ buf[591]=(byte)i; if(sha1_32(buf)==-1995810035){break;} }
        for(i=-128;i<-120;i++){ buf[592]=(byte)i; if(sha1_32(buf)==-220262458){break;} }
        for(i=7;i<23;i++){ buf[593]=(byte)i; if(sha1_32(buf)==185323522){break;} }
        for(i=-4;i<1;i++){ buf[594]=(byte)i; if(sha1_32(buf)==-703375170){break;} }
        for(i=-7;i<16;i++){ buf[595]=(byte)i; if(sha1_32(buf)==-361321852){break;} }
        for(i=46;i<54;i++){ buf[596]=(byte)i; if(sha1_32(buf)==-1757603206){break;} }
        for(i=-59;i<-37;i++){ buf[597]=(byte)i; if(sha1_32(buf)==-1741050516){break;} }
        for(i=-19;i<-1;i++){ buf[598]=(byte)i; if(sha1_32(buf)==-655663805){break;} }
        for(i=-1;i<16;i++){ buf[599]=(byte)i; if(sha1_32(buf)==-1702776035){break;} }
        for(i=116;i<128;i++){ buf[600]=(byte)i; if(sha1_32(buf)==195315831){break;} }
        for(i=-63;i<-43;i++){ buf[601]=(byte)i; if(sha1_32(buf)==1590882249){break;} }
        for(i=115;i<126;i++){ buf[602]=(byte)i; if(sha1_32(buf)==-779938913){break;} }
        for(i=-86;i<-63;i++){ buf[603]=(byte)i; if(sha1_32(buf)==-905152162){break;} }
        for(i=41;i<61;i++){ buf[604]=(byte)i; if(sha1_32(buf)==-260283994){break;} }
        for(i=-106;i<-99;i++){ buf[605]=(byte)i; if(sha1_32(buf)==-1343126943){break;} }
        for(i=67;i<91;i++){ buf[606]=(byte)i; if(sha1_32(buf)==2135594671){break;} }
        for(i=55;i<69;i++){ buf[607]=(byte)i; if(sha1_32(buf)==-815728258){break;} }
        for(i=-3;i<24;i++){ buf[608]=(byte)i; if(sha1_32(buf)==1291483035){break;} }
        for(i=-71;i<-62;i++){ buf[609]=(byte)i; if(sha1_32(buf)==-1104833056){break;} }
        for(i=119;i<126;i++){ buf[610]=(byte)i; if(sha1_32(buf)==1910031220){break;} }
        for(i=-128;i<-107;i++){ buf[611]=(byte)i; if(sha1_32(buf)==7848622){break;} }
        for(i=-109;i<-105;i++){ buf[612]=(byte)i; if(sha1_32(buf)==-798501282){break;} }
        for(i=101;i<116;i++){ buf[613]=(byte)i; if(sha1_32(buf)==-1245379089){break;} }
        for(i=20;i<29;i++){ buf[614]=(byte)i; if(sha1_32(buf)==555719229){break;} }
        for(i=45;i<59;i++){ buf[615]=(byte)i; if(sha1_32(buf)==-1100787998){break;} }
        for(i=44;i<54;i++){ buf[616]=(byte)i; if(sha1_32(buf)==175275463){break;} }
        for(i=-112;i<-94;i++){ buf[617]=(byte)i; if(sha1_32(buf)==192096044){break;} }
        for(i=-95;i<-70;i++){ buf[618]=(byte)i; if(sha1_32(buf)==-1354755121){break;} }
        for(i=93;i<112;i++){ buf[619]=(byte)i; if(sha1_32(buf)==1646701681){break;} }
        for(i=-88;i<-69;i++){ buf[620]=(byte)i; if(sha1_32(buf)==242403339){break;} }
        for(i=108;i<123;i++){ buf[621]=(byte)i; if(sha1_32(buf)==1942971670){break;} }
        for(i=87;i<108;i++){ buf[622]=(byte)i; if(sha1_32(buf)==1853189262){break;} }
        for(i=-53;i<-35;i++){ buf[623]=(byte)i; if(sha1_32(buf)==1909958298){break;} }
        for(i=-41;i<-18;i++){ buf[624]=(byte)i; if(sha1_32(buf)==-2108343232){break;} }
        for(i=15;i<31;i++){ buf[625]=(byte)i; if(sha1_32(buf)==-1782029793){break;} }
        for(i=99;i<119;i++){ buf[626]=(byte)i; if(sha1_32(buf)==1346745584){break;} }
        for(i=-42;i<-23;i++){ buf[627]=(byte)i; if(sha1_32(buf)==-793346511){break;} }
        for(i=-18;i<1;i++){ buf[628]=(byte)i; if(sha1_32(buf)==1359989492){break;} }
        for(i=111;i<128;i++){ buf[629]=(byte)i; if(sha1_32(buf)==25701272){break;} }
        for(i=-2;i<13;i++){ buf[630]=(byte)i; if(sha1_32(buf)==-2030109573){break;} }
        for(i=89;i<94;i++){ buf[631]=(byte)i; if(sha1_32(buf)==-2111924711){break;} }
        for(i=24;i<45;i++){ buf[632]=(byte)i; if(sha1_32(buf)==262850452){break;} }
        for(i=-2;i<28;i++){ buf[633]=(byte)i; if(sha1_32(buf)==-338760151){break;} }
        for(i=74;i<104;i++){ buf[634]=(byte)i; if(sha1_32(buf)==-30766955){break;} }
        for(i=-36;i<-12;i++){ buf[635]=(byte)i; if(sha1_32(buf)==33034321){break;} }
        for(i=68;i<93;i++){ buf[636]=(byte)i; if(sha1_32(buf)==-859178677){break;} }
        for(i=80;i<92;i++){ buf[637]=(byte)i; if(sha1_32(buf)==-25371721){break;} }
        for(i=-115;i<-109;i++){ buf[638]=(byte)i; if(sha1_32(buf)==1439086339){break;} }
        for(i=-56;i<-54;i++){ buf[639]=(byte)i; if(sha1_32(buf)==585283651){break;} }
        for(i=73;i<99;i++){ buf[640]=(byte)i; if(sha1_32(buf)==-1777719689){break;} }
        for(i=-75;i<-52;i++){ buf[641]=(byte)i; if(sha1_32(buf)==-1057405438){break;} }
        for(i=-82;i<-56;i++){ buf[642]=(byte)i; if(sha1_32(buf)==1723965623){break;} }
        for(i=6;i<31;i++){ buf[643]=(byte)i; if(sha1_32(buf)==-1251625196){break;} }
        for(i=59;i<83;i++){ buf[644]=(byte)i; if(sha1_32(buf)==486390052){break;} }
        for(i=-20;i<5;i++){ buf[645]=(byte)i; if(sha1_32(buf)==-1161016172){break;} }
        for(i=-50;i<-25;i++){ buf[646]=(byte)i; if(sha1_32(buf)==-1088593761){break;} }
        for(i=-62;i<-40;i++){ buf[647]=(byte)i; if(sha1_32(buf)==1563625565){break;} }
        for(i=-73;i<-53;i++){ buf[648]=(byte)i; if(sha1_32(buf)==8675249){break;} }
        for(i=-112;i<-105;i++){ buf[649]=(byte)i; if(sha1_32(buf)==592904224){break;} }
        for(i=70;i<84;i++){ buf[650]=(byte)i; if(sha1_32(buf)==2056620971){break;} }
        for(i=86;i<109;i++){ buf[651]=(byte)i; if(sha1_32(buf)==869660915){break;} }
        for(i=85;i<108;i++){ buf[652]=(byte)i; if(sha1_32(buf)==1632779323){break;} }
        for(i=88;i<104;i++){ buf[653]=(byte)i; if(sha1_32(buf)==1579811609){break;} }
        for(i=62;i<85;i++){ buf[654]=(byte)i; if(sha1_32(buf)==462115622){break;} }
        for(i=84;i<103;i++){ buf[655]=(byte)i; if(sha1_32(buf)==-982748470){break;} }
        for(i=24;i<36;i++){ buf[656]=(byte)i; if(sha1_32(buf)==-1370414700){break;} }
        for(i=29;i<35;i++){ buf[657]=(byte)i; if(sha1_32(buf)==1944659535){break;} }
        for(i=95;i<107;i++){ buf[658]=(byte)i; if(sha1_32(buf)==-838981068){break;} }
        for(i=-108;i<-83;i++){ buf[659]=(byte)i; if(sha1_32(buf)==-1776882076){break;} }
        for(i=-61;i<-30;i++){ buf[660]=(byte)i; if(sha1_32(buf)==1347284719){break;} }
        for(i=5;i<31;i++){ buf[661]=(byte)i; if(sha1_32(buf)==-1055883580){break;} }
        for(i=-9;i<8;i++){ buf[662]=(byte)i; if(sha1_32(buf)==332076161){break;} }
        for(i=29;i<46;i++){ buf[663]=(byte)i; if(sha1_32(buf)==190271340){break;} }
        for(i=-72;i<-56;i++){ buf[664]=(byte)i; if(sha1_32(buf)==28407333){break;} }
        for(i=-96;i<-66;i++){ buf[665]=(byte)i; if(sha1_32(buf)==-126067425){break;} }
        for(i=49;i<73;i++){ buf[666]=(byte)i; if(sha1_32(buf)==1030222769){break;} }
        for(i=8;i<15;i++){ buf[667]=(byte)i; if(sha1_32(buf)==560783391){break;} }
        for(i=16;i<45;i++){ buf[668]=(byte)i; if(sha1_32(buf)==-704961308){break;} }
        for(i=96;i<110;i++){ buf[669]=(byte)i; if(sha1_32(buf)==650227253){break;} }
        for(i=-96;i<-73;i++){ buf[670]=(byte)i; if(sha1_32(buf)==-2046280485){break;} }
        for(i=-28;i<1;i++){ buf[671]=(byte)i; if(sha1_32(buf)==2026249619){break;} }
        for(i=-93;i<-72;i++){ buf[672]=(byte)i; if(sha1_32(buf)==1695969256){break;} }
        for(i=106;i<120;i++){ buf[673]=(byte)i; if(sha1_32(buf)==1597081651){break;} }
        for(i=-115;i<-97;i++){ buf[674]=(byte)i; if(sha1_32(buf)==-1621915381){break;} }
        for(i=52;i<71;i++){ buf[675]=(byte)i; if(sha1_32(buf)==-581930934){break;} }
        for(i=2;i<21;i++){ buf[676]=(byte)i; if(sha1_32(buf)==565530953){break;} }
        for(i=109;i<124;i++){ buf[677]=(byte)i; if(sha1_32(buf)==-1434616027){break;} }
        for(i=-35;i<-14;i++){ buf[678]=(byte)i; if(sha1_32(buf)==-1912462527){break;} }
        for(i=-8;i<2;i++){ buf[679]=(byte)i; if(sha1_32(buf)==217362767){break;} }
        for(i=-102;i<-86;i++){ buf[680]=(byte)i; if(sha1_32(buf)==-655334719){break;} }
        for(i=26;i<36;i++){ buf[681]=(byte)i; if(sha1_32(buf)==-283532685){break;} }
        for(i=62;i<68;i++){ buf[682]=(byte)i; if(sha1_32(buf)==1485404317){break;} }
        for(i=54;i<59;i++){ buf[683]=(byte)i; if(sha1_32(buf)==768100484){break;} }
        for(i=-27;i<-8;i++){ buf[684]=(byte)i; if(sha1_32(buf)==-429379779){break;} }
        for(i=-88;i<-70;i++){ buf[685]=(byte)i; if(sha1_32(buf)==456708818){break;} }
        for(i=103;i<121;i++){ buf[686]=(byte)i; if(sha1_32(buf)==-1786273281){break;} }
        for(i=-113;i<-108;i++){ buf[687]=(byte)i; if(sha1_32(buf)==-865202614){break;} }
        for(i=25;i<35;i++){ buf[688]=(byte)i; if(sha1_32(buf)==75719375){break;} }
        for(i=-11;i<-3;i++){ buf[689]=(byte)i; if(sha1_32(buf)==-1853470790){break;} }
        for(i=46;i<56;i++){ buf[690]=(byte)i; if(sha1_32(buf)==2106781580){break;} }
        for(i=-119;i<-101;i++){ buf[691]=(byte)i; if(sha1_32(buf)==1009523118){break;} }
        for(i=41;i<46;i++){ buf[692]=(byte)i; if(sha1_32(buf)==2030962894){break;} }
        for(i=90;i<108;i++){ buf[693]=(byte)i; if(sha1_32(buf)==-1292743996){break;} }
        for(i=-128;i<-106;i++){ buf[694]=(byte)i; if(sha1_32(buf)==1429112454){break;} }
        for(i=-52;i<-27;i++){ buf[695]=(byte)i; if(sha1_32(buf)==-1674783711){break;} }
        for(i=-18;i<-12;i++){ buf[696]=(byte)i; if(sha1_32(buf)==2057178465){break;} }
        for(i=9;i<33;i++){ buf[697]=(byte)i; if(sha1_32(buf)==-1353601199){break;} }
        for(i=-98;i<-79;i++){ buf[698]=(byte)i; if(sha1_32(buf)==661163512){break;} }
        for(i=-38;i<-16;i++){ buf[699]=(byte)i; if(sha1_32(buf)==-1497896861){break;} }
        for(i=54;i<62;i++){ buf[700]=(byte)i; if(sha1_32(buf)==810681749){break;} }
        for(i=-128;i<-112;i++){ buf[701]=(byte)i; if(sha1_32(buf)==1197752599){break;} }
        for(i=25;i<49;i++){ buf[702]=(byte)i; if(sha1_32(buf)==-1296423303){break;} }
        for(i=-79;i<-60;i++){ buf[703]=(byte)i; if(sha1_32(buf)==2012816216){break;} }
        for(i=-91;i<-62;i++){ buf[704]=(byte)i; if(sha1_32(buf)==1225869027){break;} }
        for(i=-48;i<-40;i++){ buf[705]=(byte)i; if(sha1_32(buf)==-1624224781){break;} }
        for(i=-57;i<-46;i++){ buf[706]=(byte)i; if(sha1_32(buf)==1706734409){break;} }
        for(i=-91;i<-73;i++){ buf[707]=(byte)i; if(sha1_32(buf)==391703473){break;} }
        for(i=50;i<66;i++){ buf[708]=(byte)i; if(sha1_32(buf)==-1396310948){break;} }
        for(i=-9;i<18;i++){ buf[709]=(byte)i; if(sha1_32(buf)==-1968004632){break;} }
        for(i=9;i<21;i++){ buf[710]=(byte)i; if(sha1_32(buf)==-781890491){break;} }
        for(i=60;i<74;i++){ buf[711]=(byte)i; if(sha1_32(buf)==903854799){break;} }
        for(i=-50;i<-40;i++){ buf[712]=(byte)i; if(sha1_32(buf)==247445660){break;} }
        for(i=-23;i<-11;i++){ buf[713]=(byte)i; if(sha1_32(buf)==-444418006){break;} }
        for(i=27;i<46;i++){ buf[714]=(byte)i; if(sha1_32(buf)==1146694472){break;} }
        for(i=-34;i<-27;i++){ buf[715]=(byte)i; if(sha1_32(buf)==-2134811220){break;} }
        for(i=-15;i<2;i++){ buf[716]=(byte)i; if(sha1_32(buf)==-1351325067){break;} }
        for(i=-38;i<-16;i++){ buf[717]=(byte)i; if(sha1_32(buf)==1296768866){break;} }
        for(i=-128;i<-103;i++){ buf[718]=(byte)i; if(sha1_32(buf)==477823601){break;} }
        for(i=45;i<63;i++){ buf[719]=(byte)i; if(sha1_32(buf)==-440397759){break;} }
        for(i=-67;i<-49;i++){ buf[720]=(byte)i; if(sha1_32(buf)==-1379069736){break;} }
        for(i=91;i<115;i++){ buf[721]=(byte)i; if(sha1_32(buf)==1147741455){break;} }
        for(i=107;i<115;i++){ buf[722]=(byte)i; if(sha1_32(buf)==1364872948){break;} }
        for(i=-64;i<-53;i++){ buf[723]=(byte)i; if(sha1_32(buf)==2678458){break;} }
        for(i=85;i<91;i++){ buf[724]=(byte)i; if(sha1_32(buf)==570266389){break;} }
        for(i=-81;i<-71;i++){ buf[725]=(byte)i; if(sha1_32(buf)==-1699199920){break;} }
        for(i=86;i<104;i++){ buf[726]=(byte)i; if(sha1_32(buf)==-79467942){break;} }
        for(i=-69;i<-56;i++){ buf[727]=(byte)i; if(sha1_32(buf)==260221908){break;} }
        for(i=-100;i<-89;i++){ buf[728]=(byte)i; if(sha1_32(buf)==-1390642857){break;} }
        for(i=4;i<18;i++){ buf[729]=(byte)i; if(sha1_32(buf)==-707660794){break;} }
        for(i=79;i<85;i++){ buf[730]=(byte)i; if(sha1_32(buf)==2106017897){break;} }
        for(i=-25;i<-20;i++){ buf[731]=(byte)i; if(sha1_32(buf)==-2110127668){break;} }
        for(i=-117;i<-105;i++){ buf[732]=(byte)i; if(sha1_32(buf)==-1976191316){break;} }
        for(i=58;i<85;i++){ buf[733]=(byte)i; if(sha1_32(buf)==494197358){break;} }
        for(i=87;i<112;i++){ buf[734]=(byte)i; if(sha1_32(buf)==-1165978824){break;} }
        for(i=-20;i<-9;i++){ buf[735]=(byte)i; if(sha1_32(buf)==-1203595921){break;} }
        for(i=-119;i<-116;i++){ buf[736]=(byte)i; if(sha1_32(buf)==-1517615343){break;} }
        for(i=98;i<103;i++){ buf[737]=(byte)i; if(sha1_32(buf)==1885632555){break;} }
        for(i=94;i<107;i++){ buf[738]=(byte)i; if(sha1_32(buf)==813622201){break;} }
        for(i=-4;i<12;i++){ buf[739]=(byte)i; if(sha1_32(buf)==-1071094104){break;} }
        for(i=112;i<128;i++){ buf[740]=(byte)i; if(sha1_32(buf)==-1475984216){break;} }
        for(i=-95;i<-83;i++){ buf[741]=(byte)i; if(sha1_32(buf)==1398491675){break;} }
        for(i=-47;i<-37;i++){ buf[742]=(byte)i; if(sha1_32(buf)==785932534){break;} }
        for(i=57;i<68;i++){ buf[743]=(byte)i; if(sha1_32(buf)==276955659){break;} }
        for(i=-50;i<-33;i++){ buf[744]=(byte)i; if(sha1_32(buf)==1538081125){break;} }
        for(i=-120;i<-94;i++){ buf[745]=(byte)i; if(sha1_32(buf)==192415144){break;} }
        for(i=42;i<59;i++){ buf[746]=(byte)i; if(sha1_32(buf)==1477749896){break;} }
        for(i=-15;i<-1;i++){ buf[747]=(byte)i; if(sha1_32(buf)==-2141142798){break;} }
        for(i=-35;i<-27;i++){ buf[748]=(byte)i; if(sha1_32(buf)==-328483684){break;} }
        for(i=-126;i<-112;i++){ buf[749]=(byte)i; if(sha1_32(buf)==-483525443){break;} }
        for(i=-34;i<-15;i++){ buf[750]=(byte)i; if(sha1_32(buf)==-1195507066){break;} }
        for(i=109;i<123;i++){ buf[751]=(byte)i; if(sha1_32(buf)==471718221){break;} }
        for(i=-39;i<-28;i++){ buf[752]=(byte)i; if(sha1_32(buf)==-1971201135){break;} }
        for(i=48;i<71;i++){ buf[753]=(byte)i; if(sha1_32(buf)==-763753234){break;} }
        for(i=51;i<60;i++){ buf[754]=(byte)i; if(sha1_32(buf)==751204039){break;} }
        for(i=-48;i<-36;i++){ buf[755]=(byte)i; if(sha1_32(buf)==-8071953){break;} }
        for(i=79;i<86;i++){ buf[756]=(byte)i; if(sha1_32(buf)==358670047){break;} }
        for(i=82;i<88;i++){ buf[757]=(byte)i; if(sha1_32(buf)==-1114086633){break;} }
        for(i=66;i<82;i++){ buf[758]=(byte)i; if(sha1_32(buf)==1089100463){break;} }
        for(i=58;i<77;i++){ buf[759]=(byte)i; if(sha1_32(buf)==-304233305){break;} }
        for(i=-69;i<-46;i++){ buf[760]=(byte)i; if(sha1_32(buf)==1281865123){break;} }
        for(i=10;i<22;i++){ buf[761]=(byte)i; if(sha1_32(buf)==1486338334){break;} }
        for(i=75;i<78;i++){ buf[762]=(byte)i; if(sha1_32(buf)==-152974648){break;} }
        for(i=51;i<67;i++){ buf[763]=(byte)i; if(sha1_32(buf)==-914449669){break;} }
        for(i=11;i<18;i++){ buf[764]=(byte)i; if(sha1_32(buf)==-2125244551){break;} }
        for(i=3;i<21;i++){ buf[765]=(byte)i; if(sha1_32(buf)==1948848120){break;} }
        for(i=10;i<23;i++){ buf[766]=(byte)i; if(sha1_32(buf)==-1783459148){break;} }
        for(i=84;i<97;i++){ buf[767]=(byte)i; if(sha1_32(buf)==1417308833){break;} }
        for(i=-92;i<-87;i++){ buf[768]=(byte)i; if(sha1_32(buf)==-372053074){break;} }
        for(i=-116;i<-97;i++){ buf[769]=(byte)i; if(sha1_32(buf)==492022986){break;} }
        for(i=-26;i<-16;i++){ buf[770]=(byte)i; if(sha1_32(buf)==-572191643){break;} }
        for(i=103;i<119;i++){ buf[771]=(byte)i; if(sha1_32(buf)==-692692861){break;} }
        for(i=-84;i<-66;i++){ buf[772]=(byte)i; if(sha1_32(buf)==-1898754835){break;} }
        for(i=87;i<99;i++){ buf[773]=(byte)i; if(sha1_32(buf)==2138163026){break;} }
        for(i=-29;i<-13;i++){ buf[774]=(byte)i; if(sha1_32(buf)==-1253397186){break;} }
        for(i=26;i<51;i++){ buf[775]=(byte)i; if(sha1_32(buf)==192124661){break;} }
        for(i=-85;i<-63;i++){ buf[776]=(byte)i; if(sha1_32(buf)==-1659615767){break;} }
        for(i=-16;i<6;i++){ buf[777]=(byte)i; if(sha1_32(buf)==1525894716){break;} }
        for(i=-60;i<-43;i++){ buf[778]=(byte)i; if(sha1_32(buf)==-297235071){break;} }
        for(i=93;i<121;i++){ buf[779]=(byte)i; if(sha1_32(buf)==-112300296){break;} }
        for(i=23;i<39;i++){ buf[780]=(byte)i; if(sha1_32(buf)==2093838472){break;} }
        for(i=-61;i<-48;i++){ buf[781]=(byte)i; if(sha1_32(buf)==960299658){break;} }
        for(i=2;i<15;i++){ buf[782]=(byte)i; if(sha1_32(buf)==869362752){break;} }
        for(i=77;i<93;i++){ buf[783]=(byte)i; if(sha1_32(buf)==-621745635){break;} }
        for(i=111;i<124;i++){ buf[784]=(byte)i; if(sha1_32(buf)==-1149568979){break;} }
        for(i=-97;i<-77;i++){ buf[785]=(byte)i; if(sha1_32(buf)==-781141365){break;} }
        for(i=5;i<15;i++){ buf[786]=(byte)i; if(sha1_32(buf)==1024380278){break;} }
        for(i=43;i<55;i++){ buf[787]=(byte)i; if(sha1_32(buf)==1443943535){break;} }
        for(i=-28;i<-10;i++){ buf[788]=(byte)i; if(sha1_32(buf)==72948159){break;} }
        for(i=-94;i<-79;i++){ buf[789]=(byte)i; if(sha1_32(buf)==383415236){break;} }
        for(i=26;i<37;i++){ buf[790]=(byte)i; if(sha1_32(buf)==-1514470315){break;} }
        for(i=-111;i<-103;i++){ buf[791]=(byte)i; if(sha1_32(buf)==450260346){break;} }
        for(i=53;i<80;i++){ buf[792]=(byte)i; if(sha1_32(buf)==904337412){break;} }
        for(i=-66;i<-52;i++){ buf[793]=(byte)i; if(sha1_32(buf)==1392643734){break;} }
        for(i=-128;i<-127;i++){ buf[794]=(byte)i; if(sha1_32(buf)==-1899309205){break;} }
        for(i=-10;i<-7;i++){ buf[795]=(byte)i; if(sha1_32(buf)==-1445770605){break;} }
        for(i=5;i<22;i++){ buf[796]=(byte)i; if(sha1_32(buf)==-1168491116){break;} }
        for(i=-14;i<0;i++){ buf[797]=(byte)i; if(sha1_32(buf)==-1999322225){break;} }
        for(i=106;i<122;i++){ buf[798]=(byte)i; if(sha1_32(buf)==1873640781){break;} }
        for(i=-106;i<-91;i++){ buf[799]=(byte)i; if(sha1_32(buf)==1986911458){break;} }
        for(i=-49;i<-33;i++){ buf[800]=(byte)i; if(sha1_32(buf)==457010877){break;} }
        for(i=21;i<33;i++){ buf[801]=(byte)i; if(sha1_32(buf)==1830381044){break;} }
        for(i=44;i<50;i++){ buf[802]=(byte)i; if(sha1_32(buf)==1750851211){break;} }
        for(i=99;i<126;i++){ buf[803]=(byte)i; if(sha1_32(buf)==-984393882){break;} }
        for(i=-37;i<-35;i++){ buf[804]=(byte)i; if(sha1_32(buf)==-2109040626){break;} }
        for(i=65;i<77;i++){ buf[805]=(byte)i; if(sha1_32(buf)==-1728022312){break;} }
        for(i=-103;i<-83;i++){ buf[806]=(byte)i; if(sha1_32(buf)==566225454){break;} }
        for(i=94;i<102;i++){ buf[807]=(byte)i; if(sha1_32(buf)==806441560){break;} }
        for(i=-128;i<-115;i++){ buf[808]=(byte)i; if(sha1_32(buf)==245859081){break;} }
        for(i=-7;i<3;i++){ buf[809]=(byte)i; if(sha1_32(buf)==777565450){break;} }
        for(i=82;i<99;i++){ buf[810]=(byte)i; if(sha1_32(buf)==1404479387){break;} }
        for(i=38;i<49;i++){ buf[811]=(byte)i; if(sha1_32(buf)==1126546378){break;} }
        for(i=95;i<106;i++){ buf[812]=(byte)i; if(sha1_32(buf)==-260988850){break;} }
        for(i=79;i<107;i++){ buf[813]=(byte)i; if(sha1_32(buf)==1753268580){break;} }
        for(i=-2;i<15;i++){ buf[814]=(byte)i; if(sha1_32(buf)==1753268580){break;} }
        for(i=-119;i<-108;i++){ buf[815]=(byte)i; if(sha1_32(buf)==-1516691633){break;} }
        for(i=90;i<109;i++){ buf[816]=(byte)i; if(sha1_32(buf)==530633250){break;} }
        for(i=31;i<57;i++){ buf[817]=(byte)i; if(sha1_32(buf)==322751857){break;} }
        for(i=-8;i<-4;i++){ buf[818]=(byte)i; if(sha1_32(buf)==841058500){break;} }
        for(i=-21;i<-8;i++){ buf[819]=(byte)i; if(sha1_32(buf)==-1676794367){break;} }
        for(i=-43;i<-17;i++){ buf[820]=(byte)i; if(sha1_32(buf)==318276228){break;} }
        for(i=-71;i<-52;i++){ buf[821]=(byte)i; if(sha1_32(buf)==-375531560){break;} }
        for(i=-123;i<-114;i++){ buf[822]=(byte)i; if(sha1_32(buf)==-110781027){break;} }
        for(i=97;i<112;i++){ buf[823]=(byte)i; if(sha1_32(buf)==152547752){break;} }
        for(i=33;i<54;i++){ buf[824]=(byte)i; if(sha1_32(buf)==-1818862623){break;} }
        for(i=-114;i<-107;i++){ buf[825]=(byte)i; if(sha1_32(buf)==432462361){break;} }
        for(i=-21;i<-11;i++){ buf[826]=(byte)i; if(sha1_32(buf)==392352150){break;} }
        for(i=-79;i<-76;i++){ buf[827]=(byte)i; if(sha1_32(buf)==1509456550){break;} }
        for(i=-67;i<-55;i++){ buf[828]=(byte)i; if(sha1_32(buf)==2096144602){break;} }
        for(i=-32;i<-15;i++){ buf[829]=(byte)i; if(sha1_32(buf)==-1519601595){break;} }
        for(i=-102;i<-87;i++){ buf[830]=(byte)i; if(sha1_32(buf)==1386571875){break;} }
        for(i=-14;i<-2;i++){ buf[831]=(byte)i; if(sha1_32(buf)==298721922){break;} }
        for(i=61;i<82;i++){ buf[832]=(byte)i; if(sha1_32(buf)==-1824737786){break;} }
        for(i=33;i<46;i++){ buf[833]=(byte)i; if(sha1_32(buf)==-1010667189){break;} }
        for(i=-71;i<-56;i++){ buf[834]=(byte)i; if(sha1_32(buf)==-945003228){break;} }
        for(i=-71;i<-52;i++){ buf[835]=(byte)i; if(sha1_32(buf)==-261858015){break;} }
        for(i=103;i<120;i++){ buf[836]=(byte)i; if(sha1_32(buf)==-145773907){break;} }
        for(i=-89;i<-72;i++){ buf[837]=(byte)i; if(sha1_32(buf)==-981233898){break;} }
        for(i=46;i<57;i++){ buf[838]=(byte)i; if(sha1_32(buf)==-775114662){break;} }
        for(i=-57;i<-38;i++){ buf[839]=(byte)i; if(sha1_32(buf)==1848776088){break;} }
        for(i=61;i<77;i++){ buf[840]=(byte)i; if(sha1_32(buf)==256750413){break;} }
        for(i=-23;i<-14;i++){ buf[841]=(byte)i; if(sha1_32(buf)==572868755){break;} }
        for(i=30;i<48;i++){ buf[842]=(byte)i; if(sha1_32(buf)==-1430466804){break;} }
        for(i=-64;i<-48;i++){ buf[843]=(byte)i; if(sha1_32(buf)==869972323){break;} }
        for(i=-20;i<-3;i++){ buf[844]=(byte)i; if(sha1_32(buf)==401819994){break;} }
        for(i=-75;i<-46;i++){ buf[845]=(byte)i; if(sha1_32(buf)==-716941804){break;} }
        for(i=-111;i<-105;i++){ buf[846]=(byte)i; if(sha1_32(buf)==690370092){break;} }
        for(i=-38;i<-31;i++){ buf[847]=(byte)i; if(sha1_32(buf)==1253821511){break;} }
        for(i=-71;i<-60;i++){ buf[848]=(byte)i; if(sha1_32(buf)==827452754){break;} }
        for(i=-98;i<-81;i++){ buf[849]=(byte)i; if(sha1_32(buf)==-416750969){break;} }
        for(i=-102;i<-84;i++){ buf[850]=(byte)i; if(sha1_32(buf)==41082890){break;} }
        for(i=69;i<86;i++){ buf[851]=(byte)i; if(sha1_32(buf)==1486445621){break;} }
        for(i=-119;i<-102;i++){ buf[852]=(byte)i; if(sha1_32(buf)==-382915123){break;} }
        for(i=-41;i<-25;i++){ buf[853]=(byte)i; if(sha1_32(buf)==-345612667){break;} }
        for(i=-26;i<-11;i++){ buf[854]=(byte)i; if(sha1_32(buf)==1892870648){break;} }
        for(i=91;i<108;i++){ buf[855]=(byte)i; if(sha1_32(buf)==-1906571009){break;} }
        for(i=42;i<63;i++){ buf[856]=(byte)i; if(sha1_32(buf)==-1943674746){break;} }
        for(i=-81;i<-79;i++){ buf[857]=(byte)i; if(sha1_32(buf)==-1191899918){break;} }
        for(i=35;i<42;i++){ buf[858]=(byte)i; if(sha1_32(buf)==357290007){break;} }
        for(i=-80;i<-50;i++){ buf[859]=(byte)i; if(sha1_32(buf)==-1137640717){break;} }
        for(i=-127;i<-111;i++){ buf[860]=(byte)i; if(sha1_32(buf)==1264196778){break;} }
        for(i=104;i<117;i++){ buf[861]=(byte)i; if(sha1_32(buf)==1923901023){break;} }
        for(i=-128;i<-106;i++){ buf[862]=(byte)i; if(sha1_32(buf)==-814974772){break;} }
        for(i=7;i<31;i++){ buf[863]=(byte)i; if(sha1_32(buf)==375486133){break;} }
        for(i=-78;i<-58;i++){ buf[864]=(byte)i; if(sha1_32(buf)==-990532881){break;} }
        for(i=57;i<73;i++){ buf[865]=(byte)i; if(sha1_32(buf)==-582608376){break;} }
        for(i=-66;i<-61;i++){ buf[866]=(byte)i; if(sha1_32(buf)==-914170567){break;} }
        for(i=-100;i<-84;i++){ buf[867]=(byte)i; if(sha1_32(buf)==1252610736){break;} }
        for(i=34;i<45;i++){ buf[868]=(byte)i; if(sha1_32(buf)==-1703150459){break;} }
        for(i=-76;i<-59;i++){ buf[869]=(byte)i; if(sha1_32(buf)==2130993951){break;} }
        for(i=-41;i<-14;i++){ buf[870]=(byte)i; if(sha1_32(buf)==-1107332794){break;} }
        for(i=23;i<35;i++){ buf[871]=(byte)i; if(sha1_32(buf)==436249815){break;} }
        for(i=-53;i<-27;i++){ buf[872]=(byte)i; if(sha1_32(buf)==282820521){break;} }
        for(i=-128;i<-114;i++){ buf[873]=(byte)i; if(sha1_32(buf)==1576231947){break;} }
        for(i=-85;i<-79;i++){ buf[874]=(byte)i; if(sha1_32(buf)==-1784045980){break;} }
        for(i=-104;i<-94;i++){ buf[875]=(byte)i; if(sha1_32(buf)==-2145777443){break;} }
        for(i=12;i<19;i++){ buf[876]=(byte)i; if(sha1_32(buf)==1614099427){break;} }
        for(i=-72;i<-59;i++){ buf[877]=(byte)i; if(sha1_32(buf)==785031451){break;} }
        for(i=111;i<125;i++){ buf[878]=(byte)i; if(sha1_32(buf)==1289377768){break;} }
        for(i=-57;i<-44;i++){ buf[879]=(byte)i; if(sha1_32(buf)==1169374360){break;} }
        for(i=112;i<128;i++){ buf[880]=(byte)i; if(sha1_32(buf)==1734112735){break;} }
        for(i=19;i<31;i++){ buf[881]=(byte)i; if(sha1_32(buf)==-1569860285){break;} }
        for(i=-107;i<-101;i++){ buf[882]=(byte)i; if(sha1_32(buf)==-368637438){break;} }
        for(i=-2;i<8;i++){ buf[883]=(byte)i; if(sha1_32(buf)==1893419985){break;} }
        for(i=71;i<84;i++){ buf[884]=(byte)i; if(sha1_32(buf)==1725581180){break;} }
        for(i=-128;i<-115;i++){ buf[885]=(byte)i; if(sha1_32(buf)==-813360584){break;} }
        for(i=10;i<12;i++){ buf[886]=(byte)i; if(sha1_32(buf)==-373842725){break;} }
        for(i=-29;i<-16;i++){ buf[887]=(byte)i; if(sha1_32(buf)==1662597981){break;} }
        for(i=-120;i<-98;i++){ buf[888]=(byte)i; if(sha1_32(buf)==1460226059){break;} }
        for(i=-28;i<-25;i++){ buf[889]=(byte)i; if(sha1_32(buf)==545069165){break;} }
        for(i=-32;i<-9;i++){ buf[890]=(byte)i; if(sha1_32(buf)==-1569357828){break;} }
        for(i=-59;i<-45;i++){ buf[891]=(byte)i; if(sha1_32(buf)==88781849){break;} }
        for(i=9;i<27;i++){ buf[892]=(byte)i; if(sha1_32(buf)==748920510){break;} }
        for(i=64;i<69;i++){ buf[893]=(byte)i; if(sha1_32(buf)==-2060594062){break;} }
        for(i=-128;i<-122;i++){ buf[894]=(byte)i; if(sha1_32(buf)==-1644306771){break;} }
        for(i=-10;i<2;i++){ buf[895]=(byte)i; if(sha1_32(buf)==800231255){break;} }
        for(i=-100;i<-84;i++){ buf[896]=(byte)i; if(sha1_32(buf)==-2021164531){break;} }
        for(i=-87;i<-56;i++){ buf[897]=(byte)i; if(sha1_32(buf)==-657976580){break;} }
        for(i=5;i<16;i++){ buf[898]=(byte)i; if(sha1_32(buf)==826355526){break;} }
        for(i=-87;i<-84;i++){ buf[899]=(byte)i; if(sha1_32(buf)==-908941998){break;} }
        for(i=-53;i<-39;i++){ buf[900]=(byte)i; if(sha1_32(buf)==1121718831){break;} }
        for(i=-44;i<-26;i++){ buf[901]=(byte)i; if(sha1_32(buf)==-886997831){break;} }
        for(i=8;i<28;i++){ buf[902]=(byte)i; if(sha1_32(buf)==56668933){break;} }
        for(i=103;i<114;i++){ buf[903]=(byte)i; if(sha1_32(buf)==1590815914){break;} }
        for(i=-128;i<-119;i++){ buf[904]=(byte)i; if(sha1_32(buf)==-1083652396){break;} }
        for(i=92;i<122;i++){ buf[905]=(byte)i; if(sha1_32(buf)==-2127454498){break;} }
        for(i=25;i<41;i++){ buf[906]=(byte)i; if(sha1_32(buf)==2005687305){break;} }
        for(i=-128;i<-112;i++){ buf[907]=(byte)i; if(sha1_32(buf)==1395332014){break;} }
        for(i=-73;i<-48;i++){ buf[908]=(byte)i; if(sha1_32(buf)==-743589150){break;} }
        for(i=-88;i<-86;i++){ buf[909]=(byte)i; if(sha1_32(buf)==-1590286759){break;} }
        for(i=9;i<34;i++){ buf[910]=(byte)i; if(sha1_32(buf)==-1389193508){break;} }
        for(i=10;i<28;i++){ buf[911]=(byte)i; if(sha1_32(buf)==-1360499021){break;} }
        for(i=14;i<41;i++){ buf[912]=(byte)i; if(sha1_32(buf)==-1672358547){break;} }
        for(i=-27;i<-15;i++){ buf[913]=(byte)i; if(sha1_32(buf)==25910580){break;} }
        for(i=-11;i<3;i++){ buf[914]=(byte)i; if(sha1_32(buf)==147938863){break;} }
        for(i=103;i<113;i++){ buf[915]=(byte)i; if(sha1_32(buf)==-2146260537){break;} }
        for(i=-88;i<-75;i++){ buf[916]=(byte)i; if(sha1_32(buf)==1433895082){break;} }
        for(i=57;i<82;i++){ buf[917]=(byte)i; if(sha1_32(buf)==-1421183346){break;} }
        for(i=89;i<108;i++){ buf[918]=(byte)i; if(sha1_32(buf)==708640180){break;} }
        for(i=41;i<56;i++){ buf[919]=(byte)i; if(sha1_32(buf)==-1881272039){break;} }
        for(i=79;i<95;i++){ buf[920]=(byte)i; if(sha1_32(buf)==-54166953){break;} }
        for(i=-72;i<-60;i++){ buf[921]=(byte)i; if(sha1_32(buf)==743708137){break;} }
        for(i=-7;i<2;i++){ buf[922]=(byte)i; if(sha1_32(buf)==-1214621785){break;} }
        for(i=-67;i<-60;i++){ buf[923]=(byte)i; if(sha1_32(buf)==41543405){break;} }
        for(i=-31;i<-14;i++){ buf[924]=(byte)i; if(sha1_32(buf)==-147690947){break;} }
        for(i=24;i<44;i++){ buf[925]=(byte)i; if(sha1_32(buf)==-199194281){break;} }
        for(i=-94;i<-73;i++){ buf[926]=(byte)i; if(sha1_32(buf)==-884896080){break;} }
        for(i=15;i<28;i++){ buf[927]=(byte)i; if(sha1_32(buf)==-813515639){break;} }
        for(i=-128;i<-116;i++){ buf[928]=(byte)i; if(sha1_32(buf)==1707443928){break;} }
        for(i=-40;i<-24;i++){ buf[929]=(byte)i; if(sha1_32(buf)==2105008887){break;} }
        for(i=88;i<118;i++){ buf[930]=(byte)i; if(sha1_32(buf)==-337415484){break;} }
        for(i=65;i<85;i++){ buf[931]=(byte)i; if(sha1_32(buf)==306583621){break;} }
        for(i=88;i<90;i++){ buf[932]=(byte)i; if(sha1_32(buf)==-969239692){break;} }
        for(i=-5;i<17;i++){ buf[933]=(byte)i; if(sha1_32(buf)==494722567){break;} }
        for(i=92;i<115;i++){ buf[934]=(byte)i; if(sha1_32(buf)==1699214071){break;} }
        for(i=-27;i<-15;i++){ buf[935]=(byte)i; if(sha1_32(buf)==-1448833690){break;} }
        for(i=-22;i<-11;i++){ buf[936]=(byte)i; if(sha1_32(buf)==960516156){break;} }
        for(i=12;i<19;i++){ buf[937]=(byte)i; if(sha1_32(buf)==-2048290927){break;} }
        for(i=-108;i<-94;i++){ buf[938]=(byte)i; if(sha1_32(buf)==1723727760){break;} }
        for(i=119;i<128;i++){ buf[939]=(byte)i; if(sha1_32(buf)==-1656966784){break;} }
        for(i=14;i<33;i++){ buf[940]=(byte)i; if(sha1_32(buf)==-742749227){break;} }
        for(i=-84;i<-58;i++){ buf[941]=(byte)i; if(sha1_32(buf)==-1007974459){break;} }
        for(i=-48;i<-33;i++){ buf[942]=(byte)i; if(sha1_32(buf)==28604989){break;} }
        for(i=86;i<101;i++){ buf[943]=(byte)i; if(sha1_32(buf)==592995855){break;} }
        for(i=-44;i<-31;i++){ buf[944]=(byte)i; if(sha1_32(buf)==182017350){break;} }
        for(i=53;i<75;i++){ buf[945]=(byte)i; if(sha1_32(buf)==-623141561){break;} }
        for(i=-86;i<-58;i++){ buf[946]=(byte)i; if(sha1_32(buf)==-1374535082){break;} }
        for(i=98;i<124;i++){ buf[947]=(byte)i; if(sha1_32(buf)==-113385574){break;} }
        for(i=95;i<124;i++){ buf[948]=(byte)i; if(sha1_32(buf)==1208814323){break;} }
        for(i=-61;i<-46;i++){ buf[949]=(byte)i; if(sha1_32(buf)==1174256923){break;} }
        for(i=7;i<15;i++){ buf[950]=(byte)i; if(sha1_32(buf)==1257173934){break;} }
        for(i=-15;i<4;i++){ buf[951]=(byte)i; if(sha1_32(buf)==311829838){break;} }
        for(i=112;i<128;i++){ buf[952]=(byte)i; if(sha1_32(buf)==1661336983){break;} }
        for(i=53;i<59;i++){ buf[953]=(byte)i; if(sha1_32(buf)==1525538988){break;} }
        for(i=28;i<38;i++){ buf[954]=(byte)i; if(sha1_32(buf)==-2029487843){break;} }
        for(i=-58;i<-47;i++){ buf[955]=(byte)i; if(sha1_32(buf)==1587753010){break;} }
        for(i=-22;i<-20;i++){ buf[956]=(byte)i; if(sha1_32(buf)==1957869287){break;} }
        for(i=-99;i<-79;i++){ buf[957]=(byte)i; if(sha1_32(buf)==1273321382){break;} }
        for(i=86;i<115;i++){ buf[958]=(byte)i; if(sha1_32(buf)==1009305142){break;} }
        for(i=96;i<110;i++){ buf[959]=(byte)i; if(sha1_32(buf)==-877116705){break;} }
        for(i=-90;i<-70;i++){ buf[960]=(byte)i; if(sha1_32(buf)==-1709350482){break;} }
        for(i=-12;i<4;i++){ buf[961]=(byte)i; if(sha1_32(buf)==589790654){break;} }
        for(i=-88;i<-69;i++){ buf[962]=(byte)i; if(sha1_32(buf)==2005535130){break;} }
        for(i=86;i<103;i++){ buf[963]=(byte)i; if(sha1_32(buf)==1003523375){break;} }
        for(i=-80;i<-58;i++){ buf[964]=(byte)i; if(sha1_32(buf)==-1121311443){break;} }
        for(i=110;i<128;i++){ buf[965]=(byte)i; if(sha1_32(buf)==2092059370){break;} }
        for(i=-107;i<-103;i++){ buf[966]=(byte)i; if(sha1_32(buf)==-1693185428){break;} }
        for(i=9;i<25;i++){ buf[967]=(byte)i; if(sha1_32(buf)==2100736815){break;} }
        for(i=110;i<127;i++){ buf[968]=(byte)i; if(sha1_32(buf)==1826029199){break;} }
        for(i=53;i<75;i++){ buf[969]=(byte)i; if(sha1_32(buf)==-425299148){break;} }
        for(i=-83;i<-67;i++){ buf[970]=(byte)i; if(sha1_32(buf)==-1173178366){break;} }
        for(i=46;i<58;i++){ buf[971]=(byte)i; if(sha1_32(buf)==754406930){break;} }
        for(i=-128;i<-120;i++){ buf[972]=(byte)i; if(sha1_32(buf)==-1936908061){break;} }
        for(i=-89;i<-75;i++){ buf[973]=(byte)i; if(sha1_32(buf)==-1809664741){break;} }
        for(i=80;i<88;i++){ buf[974]=(byte)i; if(sha1_32(buf)==1381192233){break;} }
        for(i=99;i<104;i++){ buf[975]=(byte)i; if(sha1_32(buf)==-1214854805){break;} }
        for(i=78;i<87;i++){ buf[976]=(byte)i; if(sha1_32(buf)==-75342341){break;} }
        for(i=-84;i<-62;i++){ buf[977]=(byte)i; if(sha1_32(buf)==-2010966257){break;} }
        for(i=5;i<29;i++){ buf[978]=(byte)i; if(sha1_32(buf)==-73317505){break;} }
        for(i=47;i<68;i++){ buf[979]=(byte)i; if(sha1_32(buf)==-1361419177){break;} }
        for(i=-53;i<-47;i++){ buf[980]=(byte)i; if(sha1_32(buf)==-1451638222){break;} }
        for(i=-33;i<-11;i++){ buf[981]=(byte)i; if(sha1_32(buf)==-777487705){break;} }
        for(i=55;i<66;i++){ buf[982]=(byte)i; if(sha1_32(buf)==517633939){break;} }
        for(i=-13;i<-2;i++){ buf[983]=(byte)i; if(sha1_32(buf)==-1808451912){break;} }
        for(i=-110;i<-102;i++){ buf[984]=(byte)i; if(sha1_32(buf)==-402422904){break;} }
        for(i=-25;i<-14;i++){ buf[985]=(byte)i; if(sha1_32(buf)==-1606602255){break;} }
        for(i=74;i<79;i++){ buf[986]=(byte)i; if(sha1_32(buf)==-2115316019){break;} }
        for(i=102;i<128;i++){ buf[987]=(byte)i; if(sha1_32(buf)==2039298134){break;} }
        for(i=-38;i<-14;i++){ buf[988]=(byte)i; if(sha1_32(buf)==-334714831){break;} }
        for(i=-119;i<-91;i++){ buf[989]=(byte)i; if(sha1_32(buf)==721143023){break;} }
        for(i=76;i<93;i++){ buf[990]=(byte)i; if(sha1_32(buf)==-1168206929){break;} }
        for(i=-20;i<-1;i++){ buf[991]=(byte)i; if(sha1_32(buf)==-340597953){break;} }
        for(i=-22;i<-5;i++){ buf[992]=(byte)i; if(sha1_32(buf)==803397788){break;} }
        for(i=58;i<71;i++){ buf[993]=(byte)i; if(sha1_32(buf)==1348301163){break;} }
        for(i=-102;i<-86;i++){ buf[994]=(byte)i; if(sha1_32(buf)==531878983){break;} }
        for(i=69;i<87;i++){ buf[995]=(byte)i; if(sha1_32(buf)==106903423){break;} }
        for(i=17;i<34;i++){ buf[996]=(byte)i; if(sha1_32(buf)==-1207287802){break;} }
        for(i=93;i<114;i++){ buf[997]=(byte)i; if(sha1_32(buf)==1282967130){break;} }
        for(i=-18;i<13;i++){ buf[998]=(byte)i; if(sha1_32(buf)==1575855830){break;} }
        for(i=23;i<49;i++){ buf[999]=(byte)i; if(sha1_32(buf)==-1482805137){break;} }
        for(i=-46;i<-37;i++){ buf[1000]=(byte)i; if(sha1_32(buf)==-1255054029){break;} }
        for(i=-99;i<-79;i++){ buf[1001]=(byte)i; if(sha1_32(buf)==206441057){break;} }
        for(i=-83;i<-63;i++){ buf[1002]=(byte)i; if(sha1_32(buf)==713172851){break;} }
        for(i=-32;i<-17;i++){ buf[1003]=(byte)i; if(sha1_32(buf)==-1021752833){break;} }
        for(i=-91;i<-72;i++){ buf[1004]=(byte)i; if(sha1_32(buf)==748635184){break;} }
        for(i=108;i<123;i++){ buf[1005]=(byte)i; if(sha1_32(buf)==1157360193){break;} }
        for(i=-28;i<-23;i++){ buf[1006]=(byte)i; if(sha1_32(buf)==-2013614227){break;} }
        for(i=-65;i<-51;i++){ buf[1007]=(byte)i; if(sha1_32(buf)==-2033712046){break;} }
        for(i=-89;i<-72;i++){ buf[1008]=(byte)i; if(sha1_32(buf)==267517735){break;} }
        for(i=-19;i<-5;i++){ buf[1009]=(byte)i; if(sha1_32(buf)==-1630691288){break;} }
        for(i=-97;i<-76;i++){ buf[1010]=(byte)i; if(sha1_32(buf)==-1226974949){break;} }
        for(i=61;i<82;i++){ buf[1011]=(byte)i; if(sha1_32(buf)==-225438034){break;} }
        for(i=-125;i<-114;i++){ buf[1012]=(byte)i; if(sha1_32(buf)==-827644360){break;} }
        for(i=7;i<23;i++){ buf[1013]=(byte)i; if(sha1_32(buf)==73224345){break;} }
        for(i=6;i<14;i++){ buf[1014]=(byte)i; if(sha1_32(buf)==1267399154){break;} }
        for(i=25;i<39;i++){ buf[1015]=(byte)i; if(sha1_32(buf)==-483848078){break;} }
        for(i=118;i<128;i++){ buf[1016]=(byte)i; if(sha1_32(buf)==-578903285){break;} }
        for(i=-30;i<-8;i++){ buf[1017]=(byte)i; if(sha1_32(buf)==1970145298){break;} }
        for(i=-118;i<-96;i++){ buf[1018]=(byte)i; if(sha1_32(buf)==1218113002){break;} }
        for(i=69;i<73;i++){ buf[1019]=(byte)i; if(sha1_32(buf)==897773709){break;} }
        for(i=17;i<32;i++){ buf[1020]=(byte)i; if(sha1_32(buf)==1380540317){break;} }
        for(i=101;i<123;i++){ buf[1021]=(byte)i; if(sha1_32(buf)==-1749342708){break;} }
        for(i=-83;i<-72;i++){ buf[1022]=(byte)i; if(sha1_32(buf)==-1576661282){break;} }
        for(i=20;i<37;i++){ buf[1023]=(byte)i; if(sha1_32(buf)==1096835603){break;} }
        for(i=-52;i<-32;i++){ buf[1024]=(byte)i; if(sha1_32(buf)==1845564344){break;} }
        for(i=-114;i<-97;i++){ buf[1025]=(byte)i; if(sha1_32(buf)==1860101955){break;} }
        for(i=-19;i<6;i++){ buf[1026]=(byte)i; if(sha1_32(buf)==242657723){break;} }
        for(i=111;i<122;i++){ buf[1027]=(byte)i; if(sha1_32(buf)==1898631132){break;} }
        for(i=20;i<22;i++){ buf[1028]=(byte)i; if(sha1_32(buf)==-441047783){break;} }
        for(i=23;i<37;i++){ buf[1029]=(byte)i; if(sha1_32(buf)==41919662){break;} }
        for(i=104;i<113;i++){ buf[1030]=(byte)i; if(sha1_32(buf)==1792700600){break;} }
        for(i=-20;i<-7;i++){ buf[1031]=(byte)i; if(sha1_32(buf)==-316759822){break;} }
        for(i=112;i<128;i++){ buf[1032]=(byte)i; if(sha1_32(buf)==-222077922){break;} }
        for(i=64;i<71;i++){ buf[1033]=(byte)i; if(sha1_32(buf)==-1669536446){break;} }
        for(i=53;i<78;i++){ buf[1034]=(byte)i; if(sha1_32(buf)==-1743726577){break;} }
        for(i=-72;i<-62;i++){ buf[1035]=(byte)i; if(sha1_32(buf)==-1662992535){break;} }
        for(i=61;i<78;i++){ buf[1036]=(byte)i; if(sha1_32(buf)==-531038476){break;} }
        for(i=-18;i<8;i++){ buf[1037]=(byte)i; if(sha1_32(buf)==1465009107){break;} }
        for(i=83;i<104;i++){ buf[1038]=(byte)i; if(sha1_32(buf)==-915551809){break;} }
        for(i=69;i<87;i++){ buf[1039]=(byte)i; if(sha1_32(buf)==1383651599){break;} }
        for(i=74;i<80;i++){ buf[1040]=(byte)i; if(sha1_32(buf)==354258264){break;} }
        for(i=-90;i<-71;i++){ buf[1041]=(byte)i; if(sha1_32(buf)==1742003122){break;} }
        for(i=-24;i<-17;i++){ buf[1042]=(byte)i; if(sha1_32(buf)==-708541642){break;} }
        for(i=-40;i<-27;i++){ buf[1043]=(byte)i; if(sha1_32(buf)==-168854387){break;} }
        for(i=-101;i<-93;i++){ buf[1044]=(byte)i; if(sha1_32(buf)==-926744321){break;} }
        for(i=-8;i<10;i++){ buf[1045]=(byte)i; if(sha1_32(buf)==462679653){break;} }
        for(i=42;i<58;i++){ buf[1046]=(byte)i; if(sha1_32(buf)==1812090619){break;} }
        for(i=-48;i<-37;i++){ buf[1047]=(byte)i; if(sha1_32(buf)==2026871620){break;} }
        for(i=-16;i<5;i++){ buf[1048]=(byte)i; if(sha1_32(buf)==1812316184){break;} }
        for(i=-54;i<-31;i++){ buf[1049]=(byte)i; if(sha1_32(buf)==933051702){break;} }
        for(i=112;i<125;i++){ buf[1050]=(byte)i; if(sha1_32(buf)==1518162838){break;} }
        for(i=57;i<72;i++){ buf[1051]=(byte)i; if(sha1_32(buf)==631594707){break;} }
        for(i=31;i<49;i++){ buf[1052]=(byte)i; if(sha1_32(buf)==-273234728){break;} }
        for(i=-28;i<-6;i++){ buf[1053]=(byte)i; if(sha1_32(buf)==-1122975591){break;} }
        for(i=10;i<31;i++){ buf[1054]=(byte)i; if(sha1_32(buf)==1621250207){break;} }
        for(i=113;i<120;i++){ buf[1055]=(byte)i; if(sha1_32(buf)==1269201346){break;} }
        for(i=-5;i<7;i++){ buf[1056]=(byte)i; if(sha1_32(buf)==-1907179300){break;} }
        for(i=39;i<46;i++){ buf[1057]=(byte)i; if(sha1_32(buf)==226343538){break;} }
        for(i=-97;i<-91;i++){ buf[1058]=(byte)i; if(sha1_32(buf)==-1591044602){break;} }
        for(i=-1;i<9;i++){ buf[1059]=(byte)i; if(sha1_32(buf)==1294966125){break;} }
        for(i=-65;i<-48;i++){ buf[1060]=(byte)i; if(sha1_32(buf)==1872642443){break;} }
        for(i=71;i<78;i++){ buf[1061]=(byte)i; if(sha1_32(buf)==-586321923){break;} }
        for(i=91;i<93;i++){ buf[1062]=(byte)i; if(sha1_32(buf)==-2142292519){break;} }
        for(i=62;i<87;i++){ buf[1063]=(byte)i; if(sha1_32(buf)==2121257978){break;} }
        for(i=-86;i<-62;i++){ buf[1064]=(byte)i; if(sha1_32(buf)==-293516022){break;} }
        for(i=-128;i<-105;i++){ buf[1065]=(byte)i; if(sha1_32(buf)==-577366387){break;} }
        for(i=-94;i<-89;i++){ buf[1066]=(byte)i; if(sha1_32(buf)==218091782){break;} }
        for(i=-105;i<-98;i++){ buf[1067]=(byte)i; if(sha1_32(buf)==-1118701114){break;} }
        for(i=-108;i<-84;i++){ buf[1068]=(byte)i; if(sha1_32(buf)==1121918773){break;} }
        for(i=47;i<63;i++){ buf[1069]=(byte)i; if(sha1_32(buf)==2075093929){break;} }
        for(i=-36;i<-16;i++){ buf[1070]=(byte)i; if(sha1_32(buf)==865803850){break;} }
        for(i=25;i<50;i++){ buf[1071]=(byte)i; if(sha1_32(buf)==-1468570806){break;} }
        for(i=-113;i<-109;i++){ buf[1072]=(byte)i; if(sha1_32(buf)==555873281){break;} }
        for(i=36;i<52;i++){ buf[1073]=(byte)i; if(sha1_32(buf)==-18377118){break;} }
        for(i=114;i<128;i++){ buf[1074]=(byte)i; if(sha1_32(buf)==646486790){break;} }
        for(i=-128;i<-113;i++){ buf[1075]=(byte)i; if(sha1_32(buf)==935754755){break;} }
        for(i=-46;i<-29;i++){ buf[1076]=(byte)i; if(sha1_32(buf)==1408899606){break;} }
        for(i=110;i<118;i++){ buf[1077]=(byte)i; if(sha1_32(buf)==-975937471){break;} }
        for(i=64;i<85;i++){ buf[1078]=(byte)i; if(sha1_32(buf)==1231759567){break;} }
        for(i=45;i<66;i++){ buf[1079]=(byte)i; if(sha1_32(buf)==-1804025280){break;} }
        for(i=-7;i<14;i++){ buf[1080]=(byte)i; if(sha1_32(buf)==-884174149){break;} }
        for(i=96;i<119;i++){ buf[1081]=(byte)i; if(sha1_32(buf)==-1608104876){break;} }
        for(i=-13;i<-4;i++){ buf[1082]=(byte)i; if(sha1_32(buf)==-504661032){break;} }
        for(i=-40;i<-17;i++){ buf[1083]=(byte)i; if(sha1_32(buf)==-986960186){break;} }
        for(i=113;i<116;i++){ buf[1084]=(byte)i; if(sha1_32(buf)==-1224770695){break;} }
        for(i=-14;i<2;i++){ buf[1085]=(byte)i; if(sha1_32(buf)==-1252670047){break;} }
        for(i=37;i<61;i++){ buf[1086]=(byte)i; if(sha1_32(buf)==1224743343){break;} }
        for(i=-6;i<12;i++){ buf[1087]=(byte)i; if(sha1_32(buf)==1224743343){break;} }
        for(i=81;i<103;i++){ buf[1088]=(byte)i; if(sha1_32(buf)==-1396231521){break;} }
        for(i=99;i<107;i++){ buf[1089]=(byte)i; if(sha1_32(buf)==1909488338){break;} }
        for(i=-105;i<-87;i++){ buf[1090]=(byte)i; if(sha1_32(buf)==-1816724013){break;} }
        for(i=-43;i<-33;i++){ buf[1091]=(byte)i; if(sha1_32(buf)==405359274){break;} }
        for(i=-27;i<-7;i++){ buf[1092]=(byte)i; if(sha1_32(buf)==362125996){break;} }
        for(i=-10;i<12;i++){ buf[1093]=(byte)i; if(sha1_32(buf)==995180309){break;} }
        for(i=98;i<106;i++){ buf[1094]=(byte)i; if(sha1_32(buf)==-945041391){break;} }
        for(i=46;i<63;i++){ buf[1095]=(byte)i; if(sha1_32(buf)==1436715747){break;} }
        for(i=-85;i<-69;i++){ buf[1096]=(byte)i; if(sha1_32(buf)==-1613374879){break;} }
        for(i=28;i<49;i++){ buf[1097]=(byte)i; if(sha1_32(buf)==-1321737589){break;} }
        for(i=-17;i<13;i++){ buf[1098]=(byte)i; if(sha1_32(buf)==1481465740){break;} }
        for(i=-34;i<-18;i++){ buf[1099]=(byte)i; if(sha1_32(buf)==1870882146){break;} }
        for(i=102;i<119;i++){ buf[1100]=(byte)i; if(sha1_32(buf)==-1952698418){break;} }
        for(i=-112;i<-90;i++){ buf[1101]=(byte)i; if(sha1_32(buf)==-372064640){break;} }
        for(i=-94;i<-76;i++){ buf[1102]=(byte)i; if(sha1_32(buf)==1623106463){break;} }
        for(i=-49;i<-35;i++){ buf[1103]=(byte)i; if(sha1_32(buf)==-1700446400){break;} }
        for(i=-20;i<-12;i++){ buf[1104]=(byte)i; if(sha1_32(buf)==-1502862587){break;} }
        for(i=-29;i<-18;i++){ buf[1105]=(byte)i; if(sha1_32(buf)==-851892104){break;} }
        for(i=70;i<90;i++){ buf[1106]=(byte)i; if(sha1_32(buf)==1008582836){break;} }
        for(i=-29;i<-20;i++){ buf[1107]=(byte)i; if(sha1_32(buf)==-10115114){break;} }
        for(i=101;i<110;i++){ buf[1108]=(byte)i; if(sha1_32(buf)==-1384368222){break;} }
        for(i=-84;i<-78;i++){ buf[1109]=(byte)i; if(sha1_32(buf)==1952861236){break;} }
        for(i=-3;i<18;i++){ buf[1110]=(byte)i; if(sha1_32(buf)==1935687998){break;} }
        for(i=61;i<69;i++){ buf[1111]=(byte)i; if(sha1_32(buf)==-1006354730){break;} }
        for(i=42;i<55;i++){ buf[1112]=(byte)i; if(sha1_32(buf)==-332239260){break;} }
        for(i=-94;i<-79;i++){ buf[1113]=(byte)i; if(sha1_32(buf)==823442376){break;} }
        for(i=-52;i<-34;i++){ buf[1114]=(byte)i; if(sha1_32(buf)==947036625){break;} }
        for(i=60;i<74;i++){ buf[1115]=(byte)i; if(sha1_32(buf)==1412538234){break;} }
        for(i=-86;i<-62;i++){ buf[1116]=(byte)i; if(sha1_32(buf)==-78367212){break;} }
        for(i=-50;i<-31;i++){ buf[1117]=(byte)i; if(sha1_32(buf)==-809825469){break;} }
        for(i=27;i<53;i++){ buf[1118]=(byte)i; if(sha1_32(buf)==350745278){break;} }
        for(i=79;i<96;i++){ buf[1119]=(byte)i; if(sha1_32(buf)==-345622182){break;} }
        for(i=-35;i<-23;i++){ buf[1120]=(byte)i; if(sha1_32(buf)==857842853){break;} }
        for(i=78;i<97;i++){ buf[1121]=(byte)i; if(sha1_32(buf)==1777310174){break;} }
        for(i=-15;i<-1;i++){ buf[1122]=(byte)i; if(sha1_32(buf)==195344026){break;} }
        for(i=-63;i<-45;i++){ buf[1123]=(byte)i; if(sha1_32(buf)==-861274347){break;} }
        for(i=-99;i<-88;i++){ buf[1124]=(byte)i; if(sha1_32(buf)==793827154){break;} }
        for(i=-111;i<-106;i++){ buf[1125]=(byte)i; if(sha1_32(buf)==-33163249){break;} }
        for(i=-105;i<-97;i++){ buf[1126]=(byte)i; if(sha1_32(buf)==952130140){break;} }
        for(i=-21;i<5;i++){ buf[1127]=(byte)i; if(sha1_32(buf)==-1503038262){break;} }
        for(i=-83;i<-61;i++){ buf[1128]=(byte)i; if(sha1_32(buf)==-857249353){break;} }
        for(i=-128;i<-114;i++){ buf[1129]=(byte)i; if(sha1_32(buf)==1207944629){break;} }
        for(i=-89;i<-69;i++){ buf[1130]=(byte)i; if(sha1_32(buf)==1797564176){break;} }
        for(i=2;i<16;i++){ buf[1131]=(byte)i; if(sha1_32(buf)==1425540910){break;} }
        for(i=-74;i<-65;i++){ buf[1132]=(byte)i; if(sha1_32(buf)==-874853925){break;} }
        for(i=-59;i<-51;i++){ buf[1133]=(byte)i; if(sha1_32(buf)==2040602897){break;} }
        for(i=118;i<127;i++){ buf[1134]=(byte)i; if(sha1_32(buf)==-1806184954){break;} }
        for(i=-42;i<-15;i++){ buf[1135]=(byte)i; if(sha1_32(buf)==-1830266674){break;} }
        for(i=39;i<68;i++){ buf[1136]=(byte)i; if(sha1_32(buf)==236929709){break;} }
        for(i=117;i<128;i++){ buf[1137]=(byte)i; if(sha1_32(buf)==-1248543139){break;} }
        for(i=-128;i<-113;i++){ buf[1138]=(byte)i; if(sha1_32(buf)==-1700324342){break;} }
        for(i=-128;i<-115;i++){ buf[1139]=(byte)i; if(sha1_32(buf)==823822987){break;} }
        for(i=-30;i<1;i++){ buf[1140]=(byte)i; if(sha1_32(buf)==-144915845){break;} }
        for(i=-110;i<-99;i++){ buf[1141]=(byte)i; if(sha1_32(buf)==960137811){break;} }
        for(i=89;i<103;i++){ buf[1142]=(byte)i; if(sha1_32(buf)==407937468){break;} }
        for(i=-88;i<-65;i++){ buf[1143]=(byte)i; if(sha1_32(buf)==811149807){break;} }
        for(i=53;i<57;i++){ buf[1144]=(byte)i; if(sha1_32(buf)==1930652075){break;} }
        for(i=25;i<40;i++){ buf[1145]=(byte)i; if(sha1_32(buf)==-2127754954){break;} }
        for(i=113;i<128;i++){ buf[1146]=(byte)i; if(sha1_32(buf)==-776667596){break;} }
        for(i=-83;i<-63;i++){ buf[1147]=(byte)i; if(sha1_32(buf)==-1737295072){break;} }
        for(i=-6;i<20;i++){ buf[1148]=(byte)i; if(sha1_32(buf)==-488486363){break;} }
        for(i=-43;i<-35;i++){ buf[1149]=(byte)i; if(sha1_32(buf)==-1054190449){break;} }
        for(i=-128;i<-116;i++){ buf[1150]=(byte)i; if(sha1_32(buf)==-1599852561){break;} }
        for(i=-45;i<-31;i++){ buf[1151]=(byte)i; if(sha1_32(buf)==2105784082){break;} }
        return buf;
    }
}
